Σαγώνας, Κωνσταντίνος, Reasoning about termination of tabled logic programs, 243-249, 1997, Πανεπιστήμιο Κύπρου,