1. N. Andrianarivelo, W. Bousdira, J. Chabin, and Z. Maazouzi. Designing FPLA combinational circuits by conditional rewriting. In H. Prade, editor, John Wiley and Sons, pages 373–377, Brighton, UK, 1998. 13th European Conference on Artificial Intelligence.
2. N. Andrianarivelo, W. Bousdira, and J-M. Talbot. On theorem-proving in Horn theories with built-in algebras. In J. Calmet, J.A. Campbell, and J. Pfalzgraf, editors, Lecture Notes in Computer Science, volume 1138, pages 320–338, Steyr, Austria, 1996. Third International Conference on Artificial Intelligence and Symbolic Computation.
3. N. Dershowitz and J-P. Jouannaud. Rewriting Systems. In J. Van Leuven, editor, Handbook of Theoretical Computer Science. Elsevier Science Publishers North-Holland, 1990.
4. P.R. Halmos. Lectures Notes on Boolean Algebras. Springer, Berlin, 1974.
5. Randy H. Katz. Contemporary logic design. Benjamin Cummings/Addison Wesley Publishing Company, 1993.