@inproceedings{1041459,
    title = "Deciding normalization and computing normal forms for S-terms",
    author = "Zachos, Stathis and Routzounis, Stavros and Hilaris, Panos",
    year = "2001",
    pages = "187-196",
    publisher = "Εκδοτικός Οργανισμός Λιβάνη",
    booktitle = "8th Panhellenic Conference in Informatics Proceedings (Volume 1)"
}