Abdelbaki Bouguerra Lars Karlsson Synthesizing Plans for Multiple Domains. 30-43 2005 conf/sara/2005 SARA http://dx.doi.org/10.1007/11527862_3 db/conf/sara/sara2005.html#BouguerraK05