Manny Rayner, Åsa Hugosson, Annika Wærn. Proving Correctness of Plans Considered as Procedural Programs. In AIMSA. pages 93-102, 1988.
@inproceedings{RaynerHW88,
title = {Proving Correctness of Plans Considered as Procedural Programs},
author = {Manny Rayner and Åsa Hugosson and Annika Wærn},
year = {1988},
researchr = {https://researchr.org/publication/RaynerHW88},
cites = {0},
citedby = {0},
pages = {93-102},
booktitle = {AIMSA},
}