1. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1999)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Beeson,2004
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A Bentkamp,2018
4. Bentkamp, A., Blanchette, J.C., Tourret, S., Vukmirović, P., Waldmann, U.: Superposition with lambdas (2019, submitted for publication)
5. Bhayat, A., Reger, G.: Set of support for higher-order reasoning. In: PAAR 2018. CEUR Workshop Proceedings, vol. 2162, pp. 2–16 (2018)