An efficient algorithm for production systems with linear-time match | IEEE Conference Publication | IEEE Xplore