Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems. - Geoff Sutcliffe; Aparna Yerikalapudi; Steven Trac (FLAIRS, 2009)