Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
NAKAZIMA Tatsunari and AOTO Takahito and TOYAMA Yoshihito,Decidability of Inductive Theorems based on Rewriting Induction,Computer Software,0289-6540,Japan Society for Software Science and Technology,2014,31,3,3_294-3_306,https://cir.nii.ac.jp/crid/1390001204738467200,https://doi.org/10.11309/jssst.31.3_294