@inproceedings{DBLP:conf/icdt/AsirelliIM88,
author = {Patrizia Asirelli and
Paola Inverardi and
A. Mustaro},
title = {Improving Integrity Constraint Checking in Deductive Databases},
booktitle = {ICDT},
year = {1988},
pages = {72-86},
ee = {http://dx.doi.org/10.1007/3-540-50171-1_4},
crossref = {DBLP:conf/icdt/88},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icdt/88,
editor = {Marc Gyssens and
Jan Paredaens and
Dirk Van Gucht},
title = {ICDT'88, 2nd International Conference on Database Theory,
Bruges, Belgium, August 31 - September 2, 1988, Proceedings},
booktitle = {ICDT},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {326},
year = {1988},
isbn = {3-540-50171-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}