Stuber, Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Stuber, J. (1997). Strong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving. In M. P. Bonacina, & U. Furbach (Eds.), Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97) (pp. 125-129). Linz, Austria: Johannes Kepler Universität.