Claus Hintermeier Hélène Kirchner Peter D. Mosses R<sup>n</sup>- and G<sup>n</sup>-Logics. 90-108 1995 conf/hoa/1995 HOA db/conf/hoa/hoa95.html#HintermeierKM95