Information Sciences: an International Journal - Special issue: Information technology
A divergence critic for inductive proof
Journal of Artificial Intelligence Research
Second-order matching modulo evaluation: a technique for reusing proofs
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |