Using resolution for extending KL-ONE-type languages
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
A rewriting approach to satisfiability procedures
Information and Computation - RTA 2001
Hi-index | 0.00 |