Extensional Crisis and Proving Identity

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11936-6_14 ◽

2014 ◽

pp. 185-200 ◽

Author(s):

Ashutosh Gupta ◽

Laura Kovács ◽

Bernhard Kragl ◽

Andrei Voronkov

Download Full-text