作　　者：Ryosuke Sato ;Kohei Suenaga ;Naoki Kobayashi

出　　处：Information and Media Technologies. 2011 ;6(2):385-398.doi:10.11185/imt.6.385

出 版 社：Information and Media Technologies Editorial Board

文 章 ID：103885861

作　　者：Naoki Kobayashi ;Kohei Suenaga ;Lucian Wischik

出　　处：Logical Methods in Computer Science. 2006 ;2(03).doi:10.2168/LMCS-2(3:4)2006

出 版 社：Technical University of Braunschweig

文 章 ID：46838638

作　　者：Kohei SUENAGA

出　　处：コンピュータ ソフトウェア. 2022 ;39(2):92-93.doi:10.11309/jssst.39.2_92

出 版 社：Japan Society for Software Science and Technology

文 章 ID：1038797364