Constraint-based specification of production rules | IEEE Conference Publication | IEEE Xplore