Interleaving Universal Principles and Relational Constraints over Typed Feature Logic.

Thilo Götz Detmar Meurers Interleaving Universal Principles and Relational Constraints over Typed Feature Logic. 1-8 1997 ACL db/conf/acl/acl97.html#GotzM97