Natural Deduction as Higher-Order Resolution (1986)

Cached

Download Links

by Lawrence C Paulson
Venue:Journal of Logic Programming
Citations:54 - 8 self