Path Dissolution: A Strongly Complete Rule of Inference

Neil V. Murray, Erik Rosenthal. Path Dissolution: A Strongly Complete Rule of Inference. In AAAI. pages 161-166, 1987.

Abstract

Abstract is missing.