TY - RPRT TI - Separating the basic logics of the basic recurrences AU - Giorgi Japaridze PY - 2011 DO - 10.1016/j.apal.2011.11.009 UR - https://arxiv.org/abs/1007.1324 ID - 1007.1324 ER -