First-Order Unification by Structural Recursion (2001)

Cached

Download Links

by Conor McBride
Citations:13 - 5 self