Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
Kapur, Deepak
Logical methods in computer science, 2023-03, Vol.19, Issue 1
[Periódico revisado por pares]
Logical Methods in Computer Science e.V
Texto completo disponível