Antoine Rauzy
Notes on the Design of an Open Boolean Solver
ICLP, 1994.
@inproceedings{ICLP-1994-Rauzy,
author = "Antoine Rauzy",
booktitle = "{Proceedings of the 11th International Conference on Logic Programming}",
isbn = "0-262-72022-1",
pages = "354--368",
publisher = "{MIT Press}",
title = "{Notes on the Design of an Open Boolean Solver}",
year = 1994,
}