The Relation Reflection Scheme

Peter Aczel. The Relation Reflection Scheme. Math. Log. Q., 54(1):5-11, 2008. [doi]

Abstract

Abstract is missing.