@phdthesis{oai:tsukuba.repo.nii.ac.jp:00012571,
 author = {山田, 俊行 and Yamada, Toshiyuki},
 month = {},
 note = {1998},
 school = {筑波大学, University of Tsukuba},
 title = {Logicality of conditional term rewrite systems},
 year = {1999}
}