@inproceedings{weko_114468_1, author = "向井,国昭", title = "遅延型論理演算に基づく制約型プログラミング", booktitle = "全国大会講演論文集", year = "1986", volume = "第33回", number = "パターン処理および人工知能", pages = "1347--1348", month = "oct" }