Lennart Augustsson Partial Evaluation in Aircraft Crew Planning. 127-136 1997 PEPM db/conf/pepm/pepm97.html#Augustsson97 http://doi.acm.org/10.1145/258993.259012