Equality-based binary resolution
Journal of the ACM (JACM)
Application of automatic transformations to program verification
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
The efficacy of rue resolution experimental results and heuristic theory
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Semantic paramodulation for Horn sets
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
A new hyperparamodulation strategy for the equality relation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |