C. Hintermeier, H. Kirchner, and P. D. Mosses, “Rn and Gn Logics”, BRICS, vol. 3, no. 51, Jun. 1996.