Presenting a Pierce Logic Based Inference Engine and Theorem Prover for Conceptual Graphs.

J. E. Heaton Pavel Kocura Presenting a Pierce Logic Based Inference Engine and Theorem Prover for Conceptual Graphs. 381-400 1993 conf/iccs/1993 ICCS db/conf/iccs/iccs93.html#HeatonK93 http://dx.doi.org/10.1007/3-540-56979-0_21