c-kr-92-177Ernest Davis.
Axiomatizing Qualitative Process Theory.
Proc. International Conf on Knowledge Representation and Reasoning, 1992, pp. 177-188.