Dan Benanav
-
Equality elimination for the inverse method and extension procedures
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1