ACM Transactions on Computational Logic (TOCL)
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Equality elimination for the inverse method and extension procedures
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |