Algebra and Logic

Article
Jager,G;Kahle,R;Studer,T
ANNALS OF PURE AND APPLIED LOGIC

2001
109
3
141-162
10.1016/s0168-0072(00)00057-9