T. McQueen Adrian A. Hopgood Tony J. Allen Jonathan A. Tepper Extracting finite structure from infinite language. 135-141 2005 18 Knowl.-Based Syst. 4-5 http://dx.doi.org/10.1016/j.knosys.2004.10.010 db/journals/kbs/kbs18.html#McQueenHAT05