Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach. - ERDEM, ESRA; PATOGLU, VOLKAN; SARIBATUR, ZEYNEP G.; SCHÜLLER, PETER; URAS, TANSEL; Lamma, Evelina; Swift, Terrance (Theory & Practice of Logic Programming, 2013)