Title: Natural deduction theorem proving via higher-order resolution
First published: 1985