中国科学院数学与系统科学研究院期刊网
JSSC
Conditional Congruence Closure over Uninterpreted and Interpreted Symbols
KAPUR Deepak
Conditional Congruence Closure over Uninterpreted and Interpreted Symbols
KAPUR Deepak
Journal of Systems Science and Complexity . 2019, (1): 317 -355 .  DOI: 10.1007/s11424-019-8377-8