Handling Transitive Relations in First-Order Automated Reasoning
Journal article, 2021
Transitivity
Automated theorem proving
Transitive relations
Binary relations
First-order logic
Automated reasoning
Transformation
Author
Koen Claessen
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Ann Lillieström
Chalmers, Computer Science and Engineering (Chalmers), CSE Verksamhetsstöd
Journal of Automated Reasoning
0168-7433 (ISSN) 1573-0670 (eISSN)
Vol. 65 8 1097-1124Subject Categories
Philosophy
Medical Ethics
Computer Science
DOI
10.1007/s10817-021-09605-z