Rodrigo Readi Nasser A Note on First Order Unification. 271-278 2003 81 Bulletin of the EATCS db/journals/eatcs/eatcs81.html#Nasser03