Stable Model Checking Made Easy - Koch, Leone (1999)(Correct)(1 citation)
Stable Model Checking Made Easy #Christoph Koch and Nicola Leone Information Systems Dept.
www.dbai.tuwien.ac.at/staff/koch/ 10] Christoph Koch and Nicola Leone. Stable model checking made www.dbai.tuwien.ac.at/staff/koch/download/DBAI-TR-99-26.pdf