Extensional higher-order resolution, in (1998)

by C Benzmüller, M Kohlhase
Venue:Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Proceedings, no. 1421 in Lecture Notes in Artificial Intelligence