@inproceedings{1047114,
    title = "Computational logic: theory meets practice",
    author = "Κάκας, Αντώνης Κ.",
    year = "1997",
    pages = "347-348",
    publisher = "Πανεπιστήμιο Κύπρου",
    booktitle = "Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά"
}