An integration of resolution and natural deduction theorem proving (1986)

by D Miller, A Felty
Venue:In AAAI-86, volume I: Science