Konstantin Korovin, Andrei Voronkov. A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering. In LICS. pages 291-302, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.