Ordering and selecting production rules for constraint maintenance: complexity and heuristic solution | IEEE Journals & Magazine | IEEE Xplore