Patrik Eklund Maria A. Galán Werner Gähler Jesús Medina Manuel Ojeda-Aciego Agustín Valverde A note on partially ordered generalized terms. 793-796 2005 EUSFLAT Conf. http://www.eusflat.org/proceedings/EUSFLAT-LFA_2005/papers/S115-05.pdf conf/eusflat/2005 db/conf/eusflat/eusflat2005.html#EklundGGMOV05