Operational Semantics and Confluence of Constraint Propagation Rules (1997)

by Slim Abdennadher
Citations:91 - 12 self