Parsing pregroup grammars in polynomial time | IEEE Conference Publication | IEEE Xplore