Vaughan R. Pratt. A Near-Optimal Method for Reasoning about Action. J. Comput. Syst. Sci., 20(2):231-254, 1980.
@article{Pratt80,
title = {A Near-Optimal Method for Reasoning about Action},
author = {Vaughan R. Pratt},
year = {1980},
researchr = {https://researchr.org/publication/Pratt80},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {20},
number = {2},
pages = {231-254},
}