%0 Conference Paper %1 conf/aimsa/Sebastiani90 %A Sebastiani, Fabrizio %B AIMSA %D 1990 %E Jorrand, Philippe %E Sgurev, Vassil Stoyanov %I North-Holland %K dblp %P 51-60 %T A Proof-Theoretic Account of Model-Preference Default Reasoning. %U http://dblp.uni-trier.de/db/conf/aimsa/aimsa1990.html#Sebastiani90 %@ 0-444-88771-7

@inproceedings{conf/aimsa/Sebastiani90, added-at = {2017-03-16T00:00:00.000+0100}, author = {Sebastiani, Fabrizio}, biburl = {https://www.bibsonomy.org/bibtex/21140a1daf5ce5c2bcd91572c5ceffc00/dblp}, booktitle = {AIMSA}, crossref = {conf/aimsa/1990}, editor = {Jorrand, Philippe and Sgurev, Vassil Stoyanov}, interhash = {88a95a2393696310b190752e3f704a29}, intrahash = {1140a1daf5ce5c2bcd91572c5ceffc00}, isbn = {0-444-88771-7}, keywords = {dblp}, pages = {51-60}, publisher = {North-Holland}, timestamp = {2017-03-17T11:36:39.000+0100}, title = {A Proof-Theoretic Account of Model-Preference Default Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/aimsa/aimsa1990.html#Sebastiani90}, year = 1990 }