Lightweight relevance filtering for machine-generated resolution problems (2006)

by Jia Meng, Lawrence C. Paulson
Venue:In ESCoR: Empirically Successful Computerized Reasoning