Κάκας, Αντώνης Κ., Computational logic: theory meets practice, 347-348, 1997, Πανεπιστήμιο Κύπρου,