Αφράτη, Φώτω Ν.,Καβαλιέρος, Θεόδωρος,Θεοδωράτος, Δημήτρης, Revising propositional horn clause knowledge bases, 995-1004, 1995, Εκπαιδευτικό Κέντρο Κτηματικής Τραπέζης,