State constraints revisited (1994)

by Fangzhen Lin, Raymond Reiter
Venue:Journal of Logic and Computation