%0 Conference Paper %1 conf/aaai/Cabalar02 %A Cabalar, Pedro %B AAAI/IAAI %D 2002 %E Dechter, Rina %E Kearns, Michael J. %E Sutton, Richard S. %I AAAI Press / The MIT Press %K dblp %P 106-111 %T A Three-Valued Characterization for Strong Equivalence of Logic Programs. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2002.html#Cabalar02

@inproceedings{conf/aaai/Cabalar02, added-at = {2023-09-05T00:00:00.000+0200}, author = {Cabalar, Pedro}, biburl = {https://www.bibsonomy.org/bibtex/21da67fa700373a7bba57e74cbc407714/dblp}, booktitle = {AAAI/IAAI}, crossref = {conf/aaai/2002}, editor = {Dechter, Rina and Kearns, Michael J. and Sutton, Richard S.}, ee = {http://www.aaai.org/Library/AAAI/2002/aaai02-017.php}, interhash = {d75eccc67ef5c309c340e40dce586f97}, intrahash = {1da67fa700373a7bba57e74cbc407714}, keywords = {dblp}, pages = {106-111}, publisher = {AAAI Press / The MIT Press}, timestamp = {2024-04-09T18:12:05.000+0200}, title = {A Three-Valued Characterization for Strong Equivalence of Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2002.html#Cabalar02}, year = 2002 }