Max A. Freund Semantics for Two Second-Order Logical Systems: =RRC* and Cocchiarella's RRC*. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1996, v:37, n:3, pp:483-505 [Journal]
Max A. Freund The relative consistency of system RRC* and some of its extensions. [Citation Graph (0, 0)][DBLP] Studia Logica, 1994, v:53, n:3, pp:351-360 [Journal]