Model Checking Abstract State Machines with Answer Set Programming. - Calvin Kai Fan Tang; Eugenia Ternovska (Fundam. Informaticae, 2007)