Extracting finite structure from infinite language. - T. McQueen; Adrian A. Hopgood; Tony J. Allen; Jonathan A. Tepper (Knowl. Based Syst., 2005)