@misc{oai:tsukuba.repo.nii.ac.jp:00010752,
 author = {Takano, Michio and 高野, 道夫},
 month = {},
 note = {1991, 【要旨】},
 title = {A study on desuctive completeness of logics and theories},
 year = {1992}
}