Idempotent Most General Unifiers for Infinite Sets,'' Report CS-R9442 (1994)

by W J Fokkink