Nirina Andrianarivelo Wadoud Bousdira Jacques Chabin Zahir Maazouzi Designing FPLA Combinational Circuits by Conditional Rewriting. 373-377 1998 ECAI db/conf/ecai/ecai98.html#AndrianariveloBCM98