%0 Journal Article %1 journals/jacm/KolaitisP90 %A Kolaitis, Phokion G. %A Papadimitriou, Christos H. %D 1990 %J J. ACM %K dblp %N 1 %P 1-14 %T Some Computational Aspects of Circumscription %U http://dblp.uni-trier.de/db/journals/jacm/jacm37.html#KolaitisP90 %V 37

@article{journals/jacm/KolaitisP90, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kolaitis, Phokion G. and Papadimitriou, Christos H.}, biburl = {https://www.bibsonomy.org/bibtex/2450b1e566a8afb773e700db1a7be5f42/dblp}, ee = {https://doi.org/10.1145/78935.78936}, interhash = {98cfd45dca824182810d5cd37999e5e1}, intrahash = {450b1e566a8afb773e700db1a7be5f42}, journal = {J. ACM}, keywords = {dblp}, month = {January}, number = 1, pages = {1-14}, timestamp = {2018-11-07T12:10:37.000+0100}, title = {Some Computational Aspects of Circumscription}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm37.html#KolaitisP90}, volume = 37, year = 1990 }