Simplification and proof search (2004)

by Tom Ridge