Natural deduction proof as higher-order resolution (1986)

by L PAULSON
Venue:J. Logic Program