Paul Morris Robert Nado Representing Actions with an Assumption-Based Truth Maintenance System. 13-20 1986 AAAI db/conf/aaai/aaai86-1.html#MorrisN86