Extensional higher-order resolution (1998)

by Christoph Benzmüller, Michael Kohlhase
Venue:In CADE