K. Gostelow

Integrating Model-based Artificial Intelligence Planning with Procedural Elaboration for Onboard Spacecraft Autonomy

Erann Gat, Steve Chien, Thomas W. Starbird, 2000 .

FORMAL CONTROL-FLOW PROPERTIES OF A MODEL OF COMPUTATION.

K. Gostelow, E. Fernandez, V. Cerf, 1971 .