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