Congruent closure algorithms for finite
β
S. L. Krivoi
π
Article
π
1994
π
Springer US
π
English
β 607 KB