@inproceedings{gnad-et-al-socs2017,
  author       = {Daniel Gnad and {\'A}lvaro Torralba and J{\"o}rg Hoffmann},
  title        = {Symbolic Leaf Representation in Decoupled Search},
  editor       = {Alex Fukunaga and Akihiro Kishimoto},
  booktitle    = {Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS
    2017)},
  publisher    = {AAAI Press},
  year         = 2017,
}