Qualitative Reasoning with Higher-Order Derivatives (1984)

by J de Kleer, D G Bobrow
Venue:In Proceedings of the National Conference on Artificial Intelligence