Techniques for Distributed Theory Synthesis in Multiagent Systems | Publicación