%0 Conference Paper %1 conf/asp/GelfondG01 %A Gelfond, Michael %A Galloway, Joel %B Answer Set Programming %D 2001 %E Provetti, Alessandro %E Son, Tran Cao %K dblp %T Diagnosing Dynamic Systems in A Prolog. %U http://dblp.uni-trier.de/db/conf/asp/asp2001.html#GelfondG01

@inproceedings{conf/asp/GelfondG01, added-at = {2020-03-12T00:00:00.000+0100}, author = {Gelfond, Michael and Galloway, Joel}, biburl = {https://www.bibsonomy.org/bibtex/2b140097d731c7a5896b8d048835d79a8/dblp}, booktitle = {Answer Set Programming}, crossref = {conf/asp/2001}, editor = {Provetti, Alessandro and Son, Tran Cao}, ee = {http://www.cs.nmsu.edu/~tson/ASP2001/9.ps}, interhash = {1ff65fd131c2a1b6ca84afd1a1a20468}, intrahash = {b140097d731c7a5896b8d048835d79a8}, keywords = {dblp}, timestamp = {2020-03-13T12:40:56.000+0100}, title = {Diagnosing Dynamic Systems in A Prolog.}, url = {http://dblp.uni-trier.de/db/conf/asp/asp2001.html#GelfondG01}, year = 2001 }