%0 Conference Paper %1 conf/ecai/Niemela96 %A Niemelä, Ilkka %B ECAI %D 1996 %E Wahlster, Wolfgang %I John Wiley and Sons, Chichester %K dblp %P 80-84 %T Implementing Circumscription Using a Tableau Method. %U http://dblp.uni-trier.de/db/conf/ecai/ecai96.html#Niemela96

@inproceedings{conf/ecai/Niemela96, added-at = {2002-01-03T00:00:00.000+0100}, author = {Niemelä, Ilkka}, biburl = {https://www.bibsonomy.org/bibtex/23cb4c1a5e6fda75a329133738e066976/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/1996}, date = {2002-01-03}, description = {dblp}, editor = {Wahlster, Wolfgang}, interhash = {883c9e27b91ba2cd901f1c86ee7861ff}, intrahash = {3cb4c1a5e6fda75a329133738e066976}, keywords = {dblp}, pages = {80-84}, publisher = {John Wiley and Sons, Chichester}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Implementing Circumscription Using a Tableau Method.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai96.html#Niemela96}, year = 1996 }