RAPS: a rule-based language for specifying resource allocation and time-tabling problems | IEEE Journals & Magazine | IEEE Xplore