Title: Goal driven theorem proving using conceptual graphs and Peirce logic
First published: 1994