CLProver

MaRDI QIDQ54945swMATHFDO

Official website https://arxiv.org/abs/1404.0841

Described by source

• A resolution prover for coalition logic

Cited in

(5)

• Ordered resolution for coalition logic
• CoLoSS
• TATL
• Cool
• PGSolver

This page was built for software: CLProver