J. P. Cleave Combinatorial Systems. I. Cylindrical Problems. 254-266 1972 6 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss6.html#Cleave72