1. K.H. BlÄsius, H.-J. Bürckert, “Deduktionssysteme,” Oldenbourg Verlag, München Wien (1987).
2. F. Baader, K.U. Schulz, “Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures,” DFKI-Research Report RR-91-33, to appear in the Proceedings of the 11th International Conference on Automated Deduction, LNCS (1992).
3. J.A. Brzozowski, K. Culik, A. Gabrielian, “Classification of Noncounting Events,” J. Computer and System Science 5, 1971.
4. H.-J. Bürckert, “A Resolution Principle for Clauses with Constraints,” Proceedings of the 10th International Conference on Automated Deduction, LNCS 449, 1990.
5. A. Colmerauer, “An Introduction to PROLOG III,” C. ACM 33, 1990.