A criterion for the equivalence of two ideals - Buchmann, Johannes; Goos, G., editor; Hartmanis, J., editor; Barstow, D., editor; Brauer, W., editor; Brinch Hansen, P., editor; Gries, D., editor; Luckham, D., editor; Moler, C., editor; Pnueli, A., editor; Seegmüller, G., editor; Stoer, J., editor; et al. (EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984, 1984)