@inproceedings{ClementeParysSalvatiWalukiewicz:Diagonal:LICS16,
    Author = {Clemente, Lorenzo and Parys, Pawe{{\l}} and Salvati, Sylvain and Walukiewicz, Igor},
    BookTitle = {Proc. of LICS'16},
    File = {The Diagonal Problem for Higher-Order Recursion Schemes is Decidable - Clemente, Parys, Salvati, Walukiewicz (1) (0) - a - a - s.pdf},
    ISBN = {978-1-4503-4391-6},
    Location = {New York, NY, USA},
    Title = {The Diagonal Problem for Higher-Order Recursion Schemes is Decidable},
    URL = {http://doi.acm.org/10.1145/2933575.2934527},
    Year = {2016},
    date-added = {2016-08-29 13:01:51 +0000},
    date-modified = {2019-05-17 12:04:09 +0200},
    file-2 = {The Diagonal Problem for Higher-Order Recursion Schemes is Decidable - Clemente, Parys, Salvati, Walukiewicz (0) (0) - a - a - s.pdf},
    doi = {10.1145/2933575.2934527}
}

@inproceedings{ClementeParysSalvatiWalukiewicz:Diagonal:LICS16, Author = {Clemente, Lorenzo and Parys, Pawe{{\l}} and Salvati, Sylvain and Walukiewicz, Igor}, BookTitle = {Proc. of LICS'16}, File = {The Diagonal Problem for Higher-Order Recursion Schemes is Decidable - Clemente, Parys, Salvati, Walukiewicz (1) (0) - a - a - s.pdf}, ISBN = {978-1-4503-4391-6}, Location = {New York, NY, USA}, Title = {The Diagonal Problem for Higher-Order Recursion Schemes is Decidable}, URL = {http://doi.acm.org/10.1145/2933575.2934527}, Year = {2016}, date-added = {2016-08-29 13:01:51 +0000}, date-modified = {2019-05-17 12:04:09 +0200}, file-2 = {The Diagonal Problem for Higher-Order Recursion Schemes is Decidable - Clemente, Parys, Salvati, Walukiewicz (0) (0) - a - a - s.pdf}, doi = {10.1145/2933575.2934527} }