Natural Deduction as Higher-Order Resolution (0)

by L Paulson
Venue:Journal of Logic Programming