David P. Miller
Department of Computer Science, Virginia Polytechnic Institute and State University, Blacksburg, Virginia
Maintaining knowledge about temporal intervals
Communications of the ACM
Planning by search through simulations