@inproceedings{weko_125986_1, author = "加藤,衛 and 大内,東", title = "部分半順序行列における含意を求めるアルゴリズム", booktitle = "全国大会講演論文集", year = "1994", volume = "第48回", number = "システム", pages = "245--246", month = "mar" }