Using Strategies and AND/OR Decomposition for Back of the Envelope Reasoning (2004)

by P K Paritosh, K D Forbus
Venue:In Proceedings of the 18th International Workshop on Qualitative Reasoning