@article{journals/dke/AntoniouBDGGGKKKKLPPTTZ08,
added-at = {2018-11-14T00:00:00.000+0100},
author = {Antoniou, Grigoris and Bikakis, Antonis and Dimaresis, Nikos and Genetzakis, Manolis and Georgalis, Giannis and Governatori, Guido and Karouzaki, Efie and Kazepis, Nikolaos and Kosmadakis, Dimitris and Kritsotakis, Manolis and Lilis, Giannis and Papadogiannakis, Antonis and Pediaditis, Panagiotis and Terzakis, Constantinos and Theodosaki, Rena and Zeginis, Dimitris},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23d32de529cf4282fcd998b26e790a673/dblp},
ee = {https://www.wikidata.org/entity/Q58176997},
interhash = {40023aab3d1f2a52e20ef6f1f0a22f9a},
intrahash = {3d32de529cf4282fcd998b26e790a673},
journal = {Data Knowl. Eng.},
keywords = {dblp},
number = 3,
pages = {662-687},
timestamp = {2019-09-27T11:06:36.000+0200},
title = {Proof explanation for a nonmonotonic Semantic Web rules language.},
url = {http://dblp.uni-trier.de/db/journals/dke/dke64.html#AntoniouBDGGGKKKKLPPTTZ08},
volume = 64,
year = 2008
}