Koichi Takahashi Masami Hagiya Searching for Mutual Exclusion Algorithms Using BDDs. 1-18 2002 conf/dsp/2002 Progress in Discovery Science http://link.springer.de/link/service/series/0558/bibs/2281/22810001.htm db/conf/dsp/dsp2002.html#TakahashiH02