%0 Conference Paper %1 conf/eurovav/LevyR97 %A Levy, Alon Y. %A Rousset, Marie-Christine %B EUROVAV %D 1997 %E Vanthienen, Jan %E van Harmelen, Frank %I Katholieke Universiteit Leuven, Belgium %K dblp %P 7-18 %T Verification of Knowledge Bases: a Unifying Logical View. %U http://dblp.uni-trier.de/db/conf/eurovav/eurovav1997.html#LevyR97

@inproceedings{conf/eurovav/LevyR97, added-at = {2002-01-03T00:00:00.000+0100}, author = {Levy, Alon Y. and Rousset, Marie-Christine}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a4c0397ae19947e331fcd893ad1188cd/dblp}, booktitle = {EUROVAV}, crossref = {conf/eurovav/1997}, editor = {Vanthienen, Jan and van Harmelen, Frank}, interhash = {87898746a00010a0250c69b22f7e63a9}, intrahash = {a4c0397ae19947e331fcd893ad1188cd}, keywords = {dblp}, pages = {7-18}, publisher = {Katholieke Universiteit Leuven, Belgium}, timestamp = {2016-02-02T11:08:57.000+0100}, title = {Verification of Knowledge Bases: a Unifying Logical View.}, url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1997.html#LevyR97}, year = 1997 }