A Direct Proof Procedure for Definite Conceptual Graphs Programs (1995)

by B C Gosh
Venue:In Proc. of ICCS'95, LNAI 954