Enhancing Model Checking in Verification by AI Techniques - Buccafurri, F; Eiter, T; Gottlob, G; Leone, N (1999)