Uri Abraham Menachem Magidor On the Mutual-Exclusion Problem - A Quest for Minimal Solutions. 1-38 1994 129 Theor. Comput. Sci. 1 db/journals/tcs/tcs129.html#AbrahamM94