An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
A Proof Strategy Based on a Dual Representation
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Hi-index | 0.00 |