NOVA Math Publications Algebra and Logic Article Ben Amram,AM;Loff,B;Oitavem,I JOURNAL OF LOGIC AND COMPUTATION 2012 22 2 179-195 10.1093/logcom/exq002 Tags : Algebra and Logic