A Characterization of Strong Equivalence for Logic Programs with Variables

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/lpnmr/LifschitzPV07, 

 author    = {Vladimir Lifschitz and
              David Pearce and
              Agust\'{\i}n Valverde},
 title     = {A Characterization of Strong Equivalence for Logic Programs
              with Variables},
 booktitle = {LPNMR},
 year      = {2007},
 pages     = {188-200},
 ee        = {http://dx.doi.org/10.1007/978-3-540-72200-7_17},
 crossref  = {DBLP:conf/lpnmr/2007},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/A_Characterization_of_Strong_Equivalence_for_Logic_Programs_with_Variables"
Personal tools