G. Salzer. The unication of innite sets of terms and its applications. In Logic Programming and Automated Reasoning (LPAR'92), pages 409-429. Springer, LNAI 624, July 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Using Term Schematizations in Automated Deduction - Peltier (Correct)
On the Word, Subsumption, and Complement Problems for.. - Hermann, Salzer (1998) Self-citation (Salzer) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC