Reducing signed propositional formulas (1999)

by G Aguilera, I P de Guzm¶an, M Ojeda, A Valverde
Venue:Soft Computing