Completeness and Soundness of the Connection Graph Proof.

Werner Stephan, Jrg H. Siekmann

Browse the full ECAI paper archive.