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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Z1" or $key="Z4" or $key="Z3" or $key="Z2" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{tcs = {Theoretical Computer Science}}

@article{Z4,
  author = {Laurent Fribourg},
  title = {A superposition oriented theorem prover},
  journal = tcs,
  volume = 35,
  year = 1985,
  pages = {161}
}

@misc{Z3,
  author = {Jim Christian},
  title = {Problem Corner: An Experiment with {Grau's} Ternary {Boolean}
              Algebra},
  howpublished = {Submitted}
}

@article{Z2,
  author = {J. Zhang},
  title = {A 3-place commutative operator from {TBA}},
  journal = {{AAR} Newsletters},
  year = {to appear}
}

@misc{Z1,
  author = {Larry Wos},
  title = {Automated Reasoning: 33 Basic Research Problems},
  pages = {156}
}