Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) Masahito Kurihara and Azuma Ohuchi and M. Noto,Analysis of completeness of laboratory assignment algorithm by abstract reduction systems theory,SICE '95. Proceedings of the 34th SICE Annual Conference. International Session Papers,,Soc. Instrum. & Control Eng,2002-11-19,,,1171-1176,https://cir.nii.ac.jp/crid/1871428067897256704,https://doi.org/10.1109/sice.1995.526651