@inproceedings{1041891,
    title = "Incorporating homomorphic reduction into abstract interpretation",
    author = "Zoukos, Vassilios A. and Παπακωνσταντίνου, Γεώργιος and Τσανάκας, Παναγιώτης",
    year = "2001",
    pages = "40-47",
    publisher = "Εκδοτικός Οργανισμός Λιβάνη",
    booktitle = "8th Panhellenic Conference in Informatics Proceedings (Volume 2)"
}