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