A theory of nonmonotonic planning. - Salvinder S. Hundal; Frank M. Brown (ACM Conference on Computer Science, 1991)