Parameterized Simplification Logic: Reasoning With Implications in an Automated Way | Publicación