@book{SchneiderLambersOrejas2017,
  author    = {Sven Schneider and Leen Lambers and Fernando Orejas},
  title     = {Symbolic model generation for graph properties},
  number    = {115},
  isbn      = {978-3-86956-396-1},
  year      = {2017},
}