@InProceedings{GK+14,
    Author       = "Gupta, A. and Kovacs, L. and Kragl, B. and Voronkov, A.",
    Year         = "2014",
    Title        = "{Extensional Crisis and Proving Identity}",
    Editor       = "Cassez, F. and Franck, J-F.",
    BookTitle    = "{Proceedings of the 12th International Symposium on Automated Technology for
                    Verification and Analysis}",
    Place        = "Sydney, Australia",
    Series       = "Lecture Notes in Computer Science",
    Number       = "8837",
    Pages        = "185-200",
    Comment      = ""
}