Information and Computation
T-Resolution: Refinements and Model Elimination
Journal of Automated Reasoning
Decidability results for sets with atoms
ACM Transactions on Computational Logic (TOCL)
Theory and Practice of Logic Programming
Filter-based resolution principle for lattice-valued propositional logic LP(X)
Information Sciences: an International Journal
Theory-specific automated reasoning
A 25-year perspective on logic programming
Hi-index | 0.00 |