Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:2005.02094.pdf (Preprint), 875KB
Bentkamp, A., Blanchette, J. C., Cruanes, S., & Waldmann, U. (2020). Superposition for Lambda-Free Higher-Order Logic. Retrieved from https://arxiv.org/abs/2005.02094.