A Platform for Restriction Mapping

Chut N. Yee, Trevor I. Dix. A Platform for Restriction Mapping. Journal of Logic and Algebraic Programming, 33(2):81-99, 1997.

Abstract

Abstract is missing.