Rolf Backofen Gert Smolka A Complete and Recursive Feature Theory. 243-268 1995 146 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs146.html#BackofenS95 http://dx.doi.org/10.1016/0304-3975(94)00188-O