Robert Veroff Finding Shortest Proofs: An Application of Linked Inference Rules. 123-139 2001 27 J. Autom. Reasoning 2 db/journals/jar/jar27.html#Veroff01