Tetsuya Murai Germano Resconi Masaru Shimbo Degrees of significance and generation of an accessibility relation. 487-490 2000 conf/kes/2000 KES http://dx.doi.org/10.1109/KES.2000.884095 db/conf/kes/kes2000.html#MuraiRS00