@inproceedings{conf/psi/BulychevKZ09,
  title = "Anti-unification algorithms and their applications in program analysis",
  author = "Peter E. Bulychev and Egor V. Kostylev and Vladimir A. Zakharov",
  year = "2010",
  booktitle = "Proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics ({PSI} 2009), Novosibirsk, Russia, June 15-19, 2009, Revised Papers",
  pages = "413--423",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5947",
}