Journal of automated reasoning. 1987;3(3):285-289. doi: 10.1007/bf00243792 Q40.72025
A comparison of the variable-abstraction and constant-abstraction methods for associative-commutative unification
关联-交换统一中变量抽象与常量抽象方法的比较
DOI: 10.1007/bf00243792
摘要 查看摘要
