Retif : a rewriting system for typed feature structures
Martin Emele and Remi Zajac
(ATR technical report, TR-I-0071)
ATR Interpreting Telephony Research Laboratories, 1989
ATR Interpreting Telephony Research Laboratories