Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) Kawabe Masahiko and Futamura Yoshihiko,Case Studies with an Automatic Program Inversion System,Conference Proceedings of Japan Society for Software Science and Technology,1349-3515,Japan Society for Software Science and Technology,2004,21,0,75-75,https://cir.nii.ac.jp/crid/1390282680500401664,https://doi.org/10.11309/jssstconference.21.0.75.0