%0 Conference Paper %1 conf/csl/ArieliA96 %A Arieli, Ofer %A Avron, Arnon %B CSL %D 1996 %E van Dalen, Dirk %E Bezem, Marc %I Springer %K dblp %P 1-17 %T Four-Valued Diagnoses for Stratified Knowledge-Bases. %U http://dblp.uni-trier.de/db/conf/csl/csl96.html#ArieliA96 %V 1258 %@ 3-540-63172-0

@inproceedings{conf/csl/ArieliA96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Arieli, Ofer and Avron, Arnon}, biburl = {https://www.bibsonomy.org/bibtex/28d714bd174de81ca23a891396d8e13b8/dblp}, booktitle = {CSL}, crossref = {conf/csl/1996}, editor = {van Dalen, Dirk and Bezem, Marc}, ee = {https://doi.org/10.1007/3-540-63172-0_29}, interhash = {088ad9105a58cb61dbbf6a0695a87a6b}, intrahash = {8d714bd174de81ca23a891396d8e13b8}, isbn = {3-540-63172-0}, keywords = {dblp}, pages = {1-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:35:06.000+0200}, title = {Four-Valued Diagnoses for Stratified Knowledge-Bases.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl96.html#ArieliA96}, volume = 1258, year = 1996 }