Zohar Manna;Richard J. Waldinger
-;-
Complete inference rules for the cancellation laws
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2