(1)
Hintermeier, C.; Kirchner, H.; Mosses, P. Rn and Gn Logics. BRICS 1996, 3.