First-Order Unification by Structural Recursion (2001)

Cached

Download Links

by Conor McBride
Citations:12 - 4 self