Parkerand Tang. Building Multirobot Coalitions Through Automated Task Solution Synthesis. Institute of Electrical and Electronics Engineers (IEEE), 2006, doi:10.1109/jproc.2006.876933.