State constraints revisited (1994)

by F Lin, R Reiter
Venue:Journal of Logic and Computation, Special Issue on Action and Processes 4(5):655–678