Axiomatizing qualitative process theory | lit.salon