Sanjai Narain Gary Levin Sharad Malik Vikram Kaul Declarative Infrastructure Configuration Synthesis and Debugging. 235-258 2008 16 J. Network Syst. Manage. 3 http://dx.doi.org/10.1007/s10922-008-9108-y db/journals/jnsm/jnsm16.html#NarainLMK08