Marianne Winslett Reasoning about Action Using a Possible Models Approach. 89-93 1988 AAAI db/conf/aaai/aaai88.html#Winslett88