Automated reasoning in geometry theorem proving with Prolog Helder CoelhoLuis Moniz Pereira OriginalPaper Pages: 329 - 390
A class of confluent term rewriting systems and unification Jia-Huai YouP. A. Subrahmanyam OriginalPaper Pages: 391 - 418