Representing actions in logic programs and default theories (1997)

by H Turner
Venue:Journal of Logic Programming