Guilherme Bittencourt, Isabel Tonin. A Proof Strategy Based on a Dual Representation. In John A. Campbell, Eugenio Roanes-Lozano, editors, Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers. Volume 1930 of Lecture Notes in Computer Science, pages 78-91, Springer, 2000. [doi]
Abstract is missing.