MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning.

Brian C. Williams

Browse the full AAAI paper archive.