A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics

Publication
Proceedings of IJCAI'97: 15th International Conference on Artificial Intelligence

Related