\bibitem{subg} Vlado Keselj and Nick Cercone. \newblock A Formal Approach to Subgrammar Extraction for NLP. \newblock {\em Mathematical and Computer Modelling,\/} vol.~45, pp.~394--403, February 2007.