@inproceedings{DBLP:conf/daisd/CelmaCMPM91,
author = {Matilde Celma and
Juan Carlos Casamayor and
Laura Mota-Herranz and
Mar\'{\i}a Angeles Pastor and
Francisco Marqu{\'e}s},
title = {A Derivation Path Recording Method for Integrity Checking
in Deductive Databases},
booktitle = {DAISD},
year = {1991},
pages = {185-203},
bibsource = {DBLP, http://dblp.uni-trier.de}
}