"Symlog: Automated Advice in Fitch-style Proof Construction."

Frederic D. Portoraro (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics