ICSE '90 Proceedings of the 12th international conference on Software engineering
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Towards the Use of Automated Reasoning in Discourse Disambiguation
Journal of Logic, Language and Information
A Deduction Method Complete for Refutation and Finite Satisfiability
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
A Tableau Calculus for Minimal Modal Model Generation
Electronic Notes in Theoretical Computer Science (ENTCS)
General Domain Circumscription and its Effective Reductions
Fundamenta Informaticae
Hi-index | 0.00 |