Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Hoki Kunihito,Parallel Dovetailing and Its Application to Depth-First Proof Number,ＩＣＧＡ Ｊｏｕｒｎａｌ,,,2013,36,,22-36,https://cir.nii.ac.jp/crid/1010282257246827779,