W05-1504 Bertsch and Nederhof ( 1999 ) gave a linear-time recognition algorithm for the recognition
J10-1001 has a fixed number of levels and linear-time recognition complexity . But unlike FASTUS
hide detail