堀田大貴，平山秀昭，早瀬健夫，田原康之，大須賀昭彦: 決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成，電子情報通信学会論文誌, Vol.J101-D, No.3, pp.530-538 (2018.3)