Clare Dixon. Theorem Proving Using Clausal Resolution: From Past to Present. In Paul C. Bell, Patrick Totzke, Igor Potapov, editors, Reachability Problems - 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings. Volume 13035 of Lecture Notes in Computer Science, pages 19-27, Springer, 2021. [doi]
Abstract is missing.