Logical Objects with Constraints

Dianxiang Xu, Guoliang Zheng. Logical Objects with Constraints. SIGPLAN Notices, 30(1):5-10, 1995.

Abstract

Abstract is missing.