Thinking About Acting: Logical Foundations for Rational Decision ...
John L. Pollock & John J. Pollock