Proceedings 24th International Workshop on Unification

Maribel Fernandez Proceedings 24th International Workshop on Unification UNIF http://dx.doi.org/10.4204/EPTCS.42 2010 EPTCS 42 db/series/eptcs/eptcs42.html