A Complete Transformation System for Polymorphic Higher-Order Unification (1991)

Cached

Download Links

by Ullrich Hustadt , Ullrich Hustadt
Citations:6 - 0 self