TY - CONF
TI - Deciding normalization and computing normal forms for S-terms
AU - Zachos, Stathis
AU - Routzounis, Stavros
AU - Hilaris, Panos
PY - 2001
SP - 187-196
PB - Εκδοτικός Οργανισμός Λιβάνη
T2 - 8th Panhellenic Conference in Informatics Proceedings (Volume 1)
ER -