TY - BOOK AU - 28 TI - Logic Programming SN - 3540132996 U1 - 004 ER -