TY - RPRT TI - The Equational Approach to CF2 Semantics AU - Dov M. Gabbay PY - 2012 UR - https://arxiv.org/abs/1203.0220 ID - 1203.0220 ER -