Decision Algorithms for a Class of Set-Theoretic Formulae Involving One Occurrence of the Union-Set Operator. - Michael Breban (1982)