1987年 A Definite Clause Set Grammar for Set-type Language and its Applications Trans. of Information Processing Society 巻 28 号 10 エクスポート BibTeX RIS