Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1904.03776.pdf (Preprint), 500KB
Baumgartner, P., & Waldmann, U. (2019). Hierarchic Superposition Revisited. Retrieved from http://arxiv.org/abs/1904.03776.