Title: The use of pre-computed models for the guidance of proof search
First published: 2003