Christian Kloimüllner, Günther R. Raidl. Full-Load Route Planning for Balancing Bike Sharing Systems by Logic-Based Benders Decomposition. Networks, volume 69, number 3, pages 270–289, 2017. (Note: previous technical report available at https://www.ac.tuwien.ac.at/files/pub/kloimuellner-17a.pdf)