%0 Conference Paper %1 conf/csl/BonattiO97 %A Bonatti, Piero A. %A Olivetti, Nicola %B CSL %D 1997 %E Nielsen, Mogens %E Thomas, Wolfgang %I Springer %K dblp %P 98-114 %T A Sequent Calculus for Circumscription. %U http://dblp.uni-trier.de/db/conf/csl/csl97.html#BonattiO97 %V 1414 %@ 3-540-64570-5

@inproceedings{conf/csl/BonattiO97, added-at = {2017-05-23T00:00:00.000+0200}, author = {Bonatti, Piero A. and Olivetti, Nicola}, biburl = {https://www.bibsonomy.org/bibtex/2ca17e547160c778271ee2f045df7b9cb/dblp}, booktitle = {CSL}, crossref = {conf/csl/1997}, editor = {Nielsen, Mogens and Thomas, Wolfgang}, ee = {https://doi.org/10.1007/BFb0028009}, interhash = {c8c4914b7e0a88ddbfd5e9058ee819d5}, intrahash = {ca17e547160c778271ee2f045df7b9cb}, isbn = {3-540-64570-5}, keywords = {dblp}, pages = {98-114}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:35:06.000+0200}, title = {A Sequent Calculus for Circumscription.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl97.html#BonattiO97}, volume = 1414, year = 1997 }