@inproceedings{Rauzy94,
  title = {Notes on the Design of an Open Boolean Solver},
  author = {Antoine Rauzy},
  year = {1994},
  tags = {source-to-source, design, open-source},
  researchr = {https://researchr.org/publication/Rauzy94},
  cites = {0},
  citedby = {0},
  pages = {354-368},
  booktitle = {ICLP},
}