Verification of Lexicalized Tree Adjoining Grammars. - Valerie Barr; Ellen Siefring (TAG+, 2004)