2026-06-01T11:55:56Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/296652026-02-03T10:48:38Zcom_10630_2254col_10630_37953

https://hdl.handle.net/10630/29665/ore.xml 2024-02-02T07:53:28Z 2024-02-02T07:53:28Z RIUMA. Repositorio Institucional de la Universidad de Málaga Parameterized Simplification Logic: Reasoning With Implications in an Automated Way Cordero-Ortega, Pablo Enciso-García-Oliveros, Manuel Mora-Bonilla, Ángel Vychodil, Vilem 2024-02-02T07:53:28Z LICENSE ORIGINAL THUMBNAIL