A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies
Crossref DOI link: https://doi.org/10.1007/s10817-019-09513-3
Published Online: 2019-02-12
Published Print: 2020-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cialdea Mayer, Marta http://orcid.org/0000-0003-4692-4922
Text and Data Mining valid from 2019-02-12
Article History
Received: 29 October 2018
Accepted: 25 January 2019
First Online: 12 February 2019