Milind Tambe Dirk Kalp Paul S. Rosenbloom An Efficient Algorithm for Production Systems with Linear-Time Match. 36-43 1992 ICTAI db/conf/ictai/ictai1992.html#TambeKR92