@techreport{weko_31298_1, author = "松田裕幸", title = "属性伝搬によるコンストレイントの実現", year = "1986", institution = "日本電気技術情報システム開発(株)", number = "8(1985-PRO-004)", month = "feb" }