A Theorem Prover Dating a Semantic Network.

Dennis de Champeaux

Browse the full ECAI paper archive.