The ConTroll grammar development system as described in ( Gotz and Meurers , 1997b ) implements the above mentioned techniques for compiling an HPSG theory into typed feature grammars .
interleaving universal principles and relational constraints over typed feature logic
Thilo Gotz Detmar Meurers
( Graz and Meurers , 1997b ) describe a method for compiling implicational constraints into typed feature grammars and interleaving them with relational constraints .4 Because of space limitations we have to refrain from an example . The ConTroll grammar development system as described in ( Gotz and Meurers , 1997b ) implements the above mentioned techniques for compiling an HPSG theory into typed feature grammars .
The ConTroll grammar development system as described in ( @@CITATIONb ) implements the above mentioned techniques for compiling an HPSG theory into typed feature grammars .