Multi-state commitment search. - Yasuhiko Kitamura; Makoto Yokoo; Tomohisa Miyaji; Shoji Tatsumi (ICTAI, 1998)