The axiomatic translation principle for modal logic
ACM Transactions on Computational Logic (TOCL)
Deciding expressive description logics in the framework of resolution
Information and Computation
A new methodology for developing deduction methods
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |