leanK

MaRDI QIDQ40344swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2FBFb0054247

Cited in

(2)

• A resolution-based calculus for preferential logics
• Cool

This page was built for software: leanK