The use of abstraction in automatic inference
Fausto Giunchiglia, Toby Walsh · 1990
Theorem Proving. In Proceedings of the 11th IJCAI. International Joint Conference on Artificial Intelligence, 1989. Also available as DAI Research Paper No 430, Dept. of Artificial Intelligence, Edinburgh.