HINTERMEIER, C.; KIRCHNER, H.; MOSSES, P. Rn and Gn Logics. BRICS Report Series, v. 3, n. 51, 21 Jun. 1996.