[4] Vladimir Lifschitz, Two Components of an Action Language, in Working Papers of the 3rd Symposium on Logical Formalizations of Commonsense Reasoning (Common Sense '96), Stanford University, 1996.