%0 Conference Paper %1 conf/lpnmr/EiterLMPS97 %A Eiter, Thomas %A Leone, Nicola %A Mateis, Cristinel %A Pfeifer, Gerald %A Scarcello, Francesco %B LPNMR %D 1997 %E Dix, Jürgen %E Furbach, Ulrich %E Nerode, Anil %I Springer %K dblp %P 364-375 %T A Deductive System for Non-Monotonic Reasoning. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr97.html#EiterLMPS97 %V 1265 %@ 3-540-63255-7

@inproceedings{conf/lpnmr/EiterLMPS97, added-at = {2017-05-22T00:00:00.000+0200}, author = {Eiter, Thomas and Leone, Nicola and Mateis, Cristinel and Pfeifer, Gerald and Scarcello, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/267946b2ff824ce311538a65c872e14ed/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/1997}, editor = {Dix, Jürgen and Furbach, Ulrich and Nerode, Anil}, ee = {https://doi.org/10.1007/3-540-63255-7_27}, interhash = {75b3693cac405d9fc4bdd955da3bd1db}, intrahash = {67946b2ff824ce311538a65c872e14ed}, isbn = {3-540-63255-7}, keywords = {dblp}, pages = {364-375}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:24.000+0200}, title = {A Deductive System for Non-Monotonic Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr97.html#EiterLMPS97}, volume = 1265, year = 1997 }