William J. Long Reasoning About State From Causation and Time in a Medical Domain. 251-254 1983 AAAI db/conf/aaai/aaai83.html#Long83