Michael Gelfond Joel Galloway Diagnosing Dynamic Systems in A Prolog. 2001 conf/asp/2001 Answer Set Programming http://www.cs.nmsu.edu/~tson/ASP2001/9.ps db/conf/asp/asp2001.html#GelfondG01