Abduction, reason, and science: processes of discovery and explanation-a review
A temporal logic for reasoning about processes and plans