Enviar por SMS: Compiled labelled deductive systems : a uniform presentation of non-classical logics / Krysia Broda [and others].