TY - BOOK AU - Ceri, S (et al) TI - Logical programming and databases U1 - 001.642 Cer PY - 1990/// CY - Springer-Verrlag Berlin Heidelberg, New York ER -