The -cube with classes which approximate reductional equivalence, submitted (0)

by R Bloo, F Kamareddine, R Nederpelt