@article{journals/dma/KostylevZ08,
  title = "On complexity of the anti-unification problem",
  author = "Egor V. Kostylev and Vladimir A. Zakharov",
  year = "2008",
  journal = "Discrete Mathematics and Applications",
  number = "1",
  pages = "85--98",
  volume = "18",
}