TY - RPRT TI - On the complexity of stratified logics AU - Luca Vercelli PY - 2010 UR - https://arxiv.org/abs/1002.3453 ID - 1002.3453 ER -