著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Courcelle, B. and Kahn, G. and Vuillemin, Jean",Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples,,Institut de Recherche d'Informatique et d'Automatique,1973,Laboratoire de recherche en informatique et automatique,,,,https://cir.nii.ac.jp/crid/1130570220048571657