%0 Conference Paper %1 conf/elp/Pearce93 %A Pearce, David %B ELP %D 1993 %E Dyckhoff, Roy %I Springer %K dblp %P 255-267 %T Answer Sets and Nonmonotonic S4. %U http://dblp.uni-trier.de/db/conf/elp/elp93.html#Pearce93 %V 798 %@ 3-540-58025-5

@inproceedings{conf/elp/Pearce93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Pearce, David}, biburl = {https://www.bibsonomy.org/bibtex/24fd8ce608b8cb56271ab9fc02baa8539/dblp}, booktitle = {ELP}, crossref = {conf/elp/1993}, editor = {Dyckhoff, Roy}, ee = {https://doi.org/10.1007/3-540-58025-5_60}, interhash = {80de8ca0ca5f77ce81716496e4692023}, intrahash = {4fd8ce608b8cb56271ab9fc02baa8539}, isbn = {3-540-58025-5}, keywords = {dblp}, pages = {255-267}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:30:16.000+0200}, title = {Answer Sets and Nonmonotonic S4.}, url = {http://dblp.uni-trier.de/db/conf/elp/elp93.html#Pearce93}, volume = 798, year = 1993 }