TY - BOOK AU - AU - Saake, Gunter, Ed. TI - Logics for databases and information systems SN - 0792381297 U1 - 005.115 PY - 1998/// CY - Bostan PB - Kluwer Academic Publishers KW - Logic Programming ER -