A Generalization of Ogden's Lemma. - Christopher Bader; Arnaldo Moura (J. ACM, 1982)