@inproceedings{1046318, title = "Ανάστροφη αναδρομική θεωρία: μερικά αποτελέσματα", author = "Μυτιληναίος, Μιχαήλ", year = "1997", pages = "45-54", publisher = "Πανεπιστήμιο Κύπρου", booktitle = "Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά" }