Axiomatic Extensions of IMT3 Logic | Publicación