Path Dissolution: A Strongly Complete Rule of Inference.

Neil V. Murray, Erik Rosenthal

Browse the full AAAI paper archive.