@inproceedings{gnad-et-al-socs2015,
  author       = {Daniel Gnad and J{\"o}rg Hoffmann and Carmel Domshlak},
  title        = {From Fork Decoupling to Star-Topology Decoupling},
  pages        = {53--61},
  editor       = {Levi Lelis and Roni Stern},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Combinatorial Search (SoCS
    2015)},
  publisher    = {AAAI Press},
  year         = 2015,
}