Discrete Event Calculus Deduction using
First-Order Automated Theorem Proving

by
Erik T. Mueller IBM Thomas J. Watson Research Center USA	Geoff Sutcliffe Department of Computer Science University of Miami USA