Nado, Representing Actions with an AssumptionBased Truth Maintenance System (1986)

by P H Morris, R A
Venue:in: Proc. AAAI-86, Philadelphia