Constraint satisfaction for production system match | IEEE Conference Publication | IEEE Xplore