@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: /usr/bin/bib2bib -c '$key="Devienne" or $key="BHW92" or $key="HW:ipl" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

@string{ipl = {Information Processing Letters}}

@string{lncs = {Lecture Notes in Computer Science}}

@article{HW:ipl,
  author = {Philipp Hanschke and J{\"o}rg W{\"u}rtz},
  title = {Satisfiability of the Smallest Binary Program},
  journal = ipl,
  year = {1993},
  volume = {45},
  number = {5},
  pages = {237--241},
  month = apr
}

@inproceedings{BHW92,
  author = {Wolfgang Bibel and S. H{\"o}lldobler and J{\"o}rg W{\"u}rtz},
  title = {Cycle Unification},
  crossref = {cade92},
  pages = {94--108}
}

@misc{Devienne,
  author = {Phillipe Devienne},
  title = {Personal communication},
  year = 1993
}

@proceedings{cade92,
  booktitle = {11th International Conference on Automated Deduction},
  title = {11th International Conference on Automated Deduction},
  address = {Saratoga Springs, NY},
  editor = {Deepak Kapur},
  year = 1992,
  month = jun,
  publisher = springer,
  series = lncs,
  volume = {607}
}