On Representations of Problems of Reasoning about Actions