@inproceedings{1047116,
    title = "Application of logic to computer science",
    author = "Ζάχος, Ευστάθιος",
    year = "1997",
    pages = "349-350",
    publisher = "Πανεπιστήμιο Κύπρου",
    booktitle = "Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά"
}