Heterogeneous Map Reduce Scheduling Using First Order Logic | IEEE Conference Publication | IEEE Xplore