Ceri, S (et al) Logical programming and databases - Springer-Verrlag Berlin Heidelberg, New York 1990 - xiii,284 Dewey Class. No.: 001.642 Cer