State constraints revisited (1994)

by F Lin, R Reiter
Venue:Journal of Logic and Computation