Software En ineering Aspects of the ProSolver -SES Skyline Solver | IEEE Conference Publication | IEEE Xplore