%0 Journal Article %1 journals/tplp/BalducciniG03 %A Balduccini, Marcello %A Gelfond, Michael %D 2003 %J Theory Pract. Log. Program. %K dblp %N 4-5 %P 425-461 %T Diagnostic reasoning with A-Prolog. %U http://dblp.uni-trier.de/db/journals/tplp/tplp3.html#BalducciniG03 %V 3

@article{journals/tplp/BalducciniG03, added-at = {2022-10-02T00:00:00.000+0200}, author = {Balduccini, Marcello and Gelfond, Michael}, biburl = {https://www.bibsonomy.org/bibtex/23f8143cd8aa1f096ac31e86fe5d19a2c/dblp}, ee = {https://doi.org/10.1017/S1471068403001807}, interhash = {d921882a33c91c82481fbd775e1ba423}, intrahash = {3f8143cd8aa1f096ac31e86fe5d19a2c}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-5}, pages = {425-461}, timestamp = {2024-04-09T05:34:50.000+0200}, title = {Diagnostic reasoning with A-Prolog.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp3.html#BalducciniG03}, volume = 3, year = 2003 }