Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. F. Baader and K.U. Schulz. Unification in the union of disjoint equational theories: Combining decision procedures. In Proceedings of the 11th Conference on Automated Deduction, pages 50–65. Springer-Verlag, LNAI 607, 1992.
2. T. Boy de la Tour, R. Caferra, and G. Chaminade. Some tools for an inference laboratory (ATINF). In Proceedings of the 9th Conference on Automated Deduction, pages 744–745. Springer-Verlag, LNCS 310, 1988.
3. H. Chen, J. Hsiang, and H.-C. Kong. On finite representation of infinite sequences of terms. In Proceedings of the 2nd international Conditional and Typed Rewriting Systems workshop, pages 100–114. Springer-Verlag, LNCS 516, 1990.
4. H. Comon, K. Haberstrau, and J.-P. Jouannaud. Decidable problems in shallow equational theories. In Proceeding of the 7th IEEE Symposium on Logic in Computer Science, 1991.
5. J. Corbin and M. Bidoit. A rehabilitation of Robinson's unification algorithm. In R. Mason, editor, Proceedings of the IFIP'83, pages 909–914, 1983.