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

@comment{{Command line: /usr/bin/bib2bib -c '$key="NieuwenhuisIPL93" or $key="C90:lics" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@article{NieuwenhuisIPL93,
  author = { Robert Nieuwenhuis},
  title = {Simple {LPO} constraint solving methods},
  journal = {Information Processing Letters},
  volume = 47,
  pages = {65--69},
  year = 1993
}

@inproceedings{C90:lics,
  author = {Hubert Comon},
  title = {Solving Inequations in Term Algebras {(Preliminary version)}},
  crossref = {lics90},
  pages = {62--69}
}

@string{lics = {Symposium on Logic in Computer Science}}

@proceedings{lics90,
  booktitle = {Fifth } # lics,
  title = {Fifth } # lics,
  editor = {John C. Mitchell},
  year = 1990,
  month = jun,
  address = {Philadelphia, PA},
  organization = ieee
}