TY - RPRT TI - Aspects of an internal logic for persistence AU - João Pita Costa AU - Primož Škraba AU - Mikael Vejdemo-Johansson PY - 2014 UR - https://arxiv.org/abs/1409.3762 ID - 1409.3762 ER -