%0 Conference Paper %1 conf/lpnmr/LifschitzPV07 %A Lifschitz, Vladimir %A Pearce, David %A Valverde, Agustín %B LPNMR %D 2007 %E Baral, Chitta %E Brewka, Gerhard %E Schlipf, John S. %I Springer %K dblp %P 188-200 %T A Characterization of Strong Equivalence for Logic Programs with Variables. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2007.html#LifschitzPV07 %V 4483 %@ 978-3-540-72199-4

@inproceedings{conf/lpnmr/LifschitzPV07, added-at = {2017-05-23T00:00:00.000+0200}, author = {Lifschitz, Vladimir and Pearce, David and Valverde, Agustín}, biburl = {https://www.bibsonomy.org/bibtex/25836b832490cbfc879bb841e352b626c/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2007}, editor = {Baral, Chitta and Brewka, Gerhard and Schlipf, John S.}, ee = {https://doi.org/10.1007/978-3-540-72200-7_17}, interhash = {a6a7c6f2484ff3ea5a74687c0b45cd0c}, intrahash = {5836b832490cbfc879bb841e352b626c}, isbn = {978-3-540-72199-4}, keywords = {dblp}, pages = {188-200}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:16.000+0200}, title = {A Characterization of Strong Equivalence for Logic Programs with Variables.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2007.html#LifschitzPV07}, volume = 4483, year = 2007 }