tech,4-1-P06-1052,ak | LFG </term> . We present an efficient <term> | algorithm | </term> for the <term> redundancy elimination | #12059 We present an efficientalgorithm for the redundancy elimination problem: Given an underspecified semantic representation (USR) of a scope ambiguity, compute an USR with fewer mutually equivalent readings. |