Alexander V. Lyaletski, Alexandre Lyaletsky. On One Approach to Goal-Driven Proof Search in Classical First-Order Logic. In 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020. pages 75-83, IEEE, 2020. [doi]
Abstract is missing.