State Constraints Revisited

Sorry, there's nothing here.


Citations per Year

434 Citations

Semantic Scholar estimates that this publication has 434 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Lin1994StateCR, title={State Constraints Revisited}, author={Fangzhen Lin and Raymond Reiter}, journal={J. Log. Comput.}, year={1994}, volume={4}, pages={655-678} }