%0 Conference Paper %1 conf/lpnmr/Gelder90 %A Gelder, Allen Van %B LPNMR %D 1990 %E Marek, V. Wiktor %E Nerode, Anil %E Pedreschi, Dino %E Subrahmanian, V. S. %K dblp %P 170-177 %T A New Form of Circumscription for Logic Programs (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr1990.html#Gelder90

@inproceedings{conf/lpnmr/Gelder90, added-at = {2017-03-20T00:00:00.000+0100}, author = {Gelder, Allen Van}, biburl = {https://www.bibsonomy.org/bibtex/2c60c0bc64127ed9cf444bbe7619954da/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/1990}, editor = {Marek, V. Wiktor and Nerode, Anil and Pedreschi, Dino and Subrahmanian, V. S.}, interhash = {2d6568982147ef579bfb7ee688a42080}, intrahash = {c60c0bc64127ed9cf444bbe7619954da}, keywords = {dblp}, pages = {170-177}, timestamp = {2017-03-21T11:37:13.000+0100}, title = {A New Form of Circumscription for Logic Programs (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr1990.html#Gelder90}, year = 1990 }