C. Hintermeier, H. Kirchner, og P. D. Mosses, “Rn and Gn Logics”, BRICS, bd. 3, nr. 51, jun. 1996.