Skip to main content

On complexity of the anti−unification problem

Egor V. Kostylev and Vladimir A. Zakharov

Journal
Discrete Mathematics and Applications
Number
1
Pages
85–98
Volume
18
Year
2008