Enhancing Model Checking in Verification by AI Techniques (Artif. Intell., 1999)

(untitled) - Buccafurri, F; Eiter, T; Gottlob, G; Leone, N