作者：Nicolae Ţăndăreanu
摘要
论文关键词：Keywords: Knowledge representation and reasoning system; Labeled stratified graph; Morphism; Partial algebra
论文评审过程：
论文官网地址：https://doi.org/10.1007/PL00011651
