A Direct Proof Procedure for Definite Conceptual Graph Programs.

Bikash Chandra Ghosh, Vilas Wuwongse

Browse the full ICCS paper archive.