Title: Natural deduction proof as higher-order resolution
First published: 1985