Tobias Müller Jörg Würtz Constructive Disjunction in Oz. 113-122 1995 WLP db/conf/wlp/wlp95.html#MullerW95