@inproceedings{1046903,
    title = "Reasoning about termination of tabled logic programs",
    author = "Σαγώνας, Κωνσταντίνος",
    year = "1997",
    pages = "243-249",
    publisher = "Πανεπιστήμιο Κύπρου",
    booktitle = "Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά"
}