| | 1997 | Stuber, Jürgen | [Bonacina, Maria Paola]
[Furbach, Ulrich] | | Strong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 125-129 | Proceedings Article | |
| | 1995 | Bachmair, Leo
Ganzinger, Harald
Stuber, Jürgen | Astesiano, Egidio
Reggio, Gianna
Tarlecki, Andrzej | | Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, 1-29 | Proceedings Article | |
| | 1992 | Ganzinger, Harald
Stuber, Jürgen | Buchmann, J.
Ganzinger, Harald
Paul, W. J. | | Inductive theorem proving by consistency for first-order clauses
In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, 441-462 | Part of a Book | |
| | 1991 | Stuber, Jürgen | | | Inductive Theorem Proving for Horn Clauses
Universität Dortmund | Thesis - Masters thesis | |
1 |
| Swierstra, S. Doaitse (ed.) |
| |