Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
KUSAKARI Keiichirou and SAKAI Masahiko and 草刈 圭一朗 and 酒井 正彦,Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques,"電子情報通信学会技術研究報告SS, ソフトウェアサイエンス",0913-5685,一般社団法人電子情報通信学会,2008-02,107,505,19-24,https://cir.nii.ac.jp/crid/1571980077605568384,