Extensional Higher-Order Resolution.

Christoph Benzmller, Michael Kohlhase

Browse the full CADE paper archive.