1. Completion without failure;Bachmair,1989
2. B. Brock, S. Cooper, W. Pierce, Proceedings of the Ninth Conference on Automated Deduction (CADE-9), 1988, Springer, Berlin, 454, 468
3. Symbolic Logic and Mechanical Theorem Proving;Chang,1973
4. J. Denzinger, Fuchs, Marc, M. Fuchs, Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97), 1997, Morgan Kaufmann, California, San Fransisco, 102, 107
5. J. Denzinger, S. Schulz, Proceedings of the 13th Conference on Automated Deduction (CADE-13), 1996a, Springer, Berlin, 62, 76