TY - RPRT TI - Off-line Parsability and the Well-foundedness of Subsumption AU - Shuly Wintner AU - Nissim Francez PY - 1997 UR - https://arxiv.org/abs/cmp-lg/9709011 ID - cmp-lg/9709011 ER -