Gregg Collins Lawrence Birnbaum Bruce Krulwich Michael Freed Plan Debugging in an Intentional System. 353-359 1991 IJCAI db/conf/ijcai/ijcai91.html#CollinsBKF91