Response-time bounds of EQL rule-based programs under rule priority structure | IEEE Journals & Magazine | IEEE Xplore