| |
| 1998 | ||
|---|---|---|
| 2 | H. Naruse, Bayu Surarso, H. Ono: A Syntactic Approach to Maksimova's Principle of Variable Separation for some Substructural Logics. Notre Dame Journal of Formal Logic 39(1): 94-113 (1998) | |
| 1996 | ||
| 1 | EE | Bayu Surarso, H. Ono: Cut Elimination in Noncommutative Substructural Logics. Reports on Mathematical Logic 30: 13-29 (1996) |
| 1 | H. Naruse | [2] |
| 2 | H. Ono | [1] [2] |