Michael A. Raskin, Christoph Welzel. Working with First Order Proofs and Provers. In Nicolas Neuss, editor, Proceedings of the 12th European Lisp Symposium (ELS 2019), Genova, Italy, April 1-2, 2019. pages 42-45, ELSAA, 2019. [doi]
Abstract is missing.