Cut Elimination in Noncommutative Substructural Logics. - Bayu Surarso; Hiroakira Ono (Reports Math. Log., 1996)

A Syntactic Approach to Maksimova's Principle of Variable Separation for some Substructural Logics. - H. Naruse; Bayu Surarso; Hiroakira Ono (Notre Dame J. Formal Log., 1998)

Multi-Document Summarization Using K-Means and Latent Dirichlet Allocation (LDA) - Significance Sentences. - Shiva Twinandilla; Satriyo Adhy; Bayu Surarso; Retno Kusumaningrum (ICCSCI, 2018)