Laboratoire LOrrain de Recherche en Informatique et ses Applications UMR 7503 Proceedings of the 19th International Workshop on Unification Nara, Japan, April 22, 2005 Edited by Laurent Vigneron (LORIA – UN2-CNRS) LORIA A05-R-022 LORIA, Campus Scientifique, B.P. 239, 54506 Vandœuvre-l` es-Nancy cedex, FRANCE