On One Approach to Goal-Driven Proof Search in Classical First-Order Logic.

Alexander V. Lyaletski, Alexandre Lyaletsky

Browse the full SYNASC paper archive.