Καράλη, Ιζαμπώ,Χαλάτσης, Κωνσταντίνος, Modular logic programming and abstract data types, 229-236, 1997, Πανεπιστήμιο Κύπρου,