Stuber, Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Stuber, J. (2000). Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems. In L. Bachmair (Ed.), Proceedings of the 11th International Conference Rewriting Techniques and Applications (RTA-00) (pp. 229-245). Berlin, Germany: Springer.