Cited in
(10)- Extensional higher-order paramodulation in Leo-III
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- Agent-based HOL reasoning
- Automating free logic in Isabelle/HOL
- Monte Carlo tableau proof search
- There is no best \(\beta \)-normalization strategy for higher-order reasoners
- QMLTP
- Leo-III
- LegalRuleML
- The higher-order prover Leo-III
This page was built for software: LeoPARD