BibTeX record conf/lics/Kirchner86

download as .bib file

@inproceedings{DBLP:conf/lics/Kirchner86,
  author    = {Claude Kirchner},
  title     = {Computing Unification Algorithms},
  booktitle = {{LICS}},
  pages     = {206--216},
  publisher = {{IEEE} Computer Society},
  year      = {1986}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics