Vaughan R. Pratt: A Near-Optimal Method for Reasoning about Action. J. Comput. Syst. Sci. 20(2): 231-254 (1980)