%0 Conference Paper %1 conf/nmelp/Pearce96 %A Pearce, David %B NMELP %D 1996 %E Dix, Jürgen %E Pereira, Luís Moniz %E Przymusinski, Teodor C. %I Springer %K dblp %P 57-70 %T A New Logical Characterisation of Stable Models and Answer Sets. %U http://dblp.uni-trier.de/db/conf/nmelp/nmelp96.html#Pearce96 %V 1216 %@ 3-540-62843-6

@inproceedings{conf/nmelp/Pearce96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Pearce, David}, biburl = {https://www.bibsonomy.org/bibtex/2a53d5a47fc725959c619f50b0aa8d9eb/dblp}, booktitle = {NMELP}, crossref = {conf/nmelp/1996}, editor = {Dix, Jürgen and Pereira, Luís Moniz and Przymusinski, Teodor C.}, ee = {https://doi.org/10.1007/BFb0023801}, interhash = {a362e3367beb98fdd82a7fe519caa05a}, intrahash = {a53d5a47fc725959c619f50b0aa8d9eb}, isbn = {3-540-62843-6}, keywords = {dblp}, pages = {57-70}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:35:09.000+0200}, title = {A New Logical Characterisation of Stable Models and Answer Sets.}, url = {http://dblp.uni-trier.de/db/conf/nmelp/nmelp96.html#Pearce96}, volume = 1216, year = 1996 }