| |
| 2005 | ||
|---|---|---|
| 1 | EE | Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya: A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. TABLEAUX 2005: 277-291 |
| 1 | Masami Hagiya | [1] |
| 2 | Koichi Takahashi | [1] |
| 3 | Akihiko Tozawa | [1] |
| 4 | Mitsuharu Yamamoto | [1] |