State constraints revisited (1994)

by F Lin, R Reiter
Venue:J. of Logic Programming