NOVA Math Publications Algebra and Logic Article Kahle,R JOURNAL OF LOGIC AND COMPUTATION 1999 9 5 683-700 10.1093/logcom/9.5.683 Tags : Algebra and Logic
