Zachos, Stathis,Routzounis, Stavros,Hilaris, Panos, Deciding normalization and computing normal forms for S-terms, 187-196, 2001, Εκδοτικός Οργανισμός Λιβάνη,