Extensional higher-order resolution (0)

by Christoph Benzmüller, Michael Kohlhase
Venue:Automated Deduction - CADE-15, 15th International Conference on Automated Deduction