Extensional Crisis and Proving Identity.

Ashutosh Gupta, Laura Kovcs, Bernhard Kragl, Andrei Voronkov

Browse the full ATVA paper archive.