TY - CONF
TI - Reasoning about termination of tabled logic programs
AU - Σαγώνας, Κωνσταντίνος
PY - 1997
SP - 243-249
PB - Πανεπιστήμιο Κύπρου
T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -