@article{DBLP:journals/ki/BrewkaEKOORSS18,
  title = {Advanced Solving Technology for Dynamic and Reactive Applications},
  author = {Brewka, Gerhard and Ellmauthaler, Stefan and Kern{-}Isberner, Gabriele and Obermeier, Philipp and Ostrowski, Max and Romero, Javier and Schaub, Torsten and Schieweck, Steffen},
  journal = {{KI}},
  number = {2-3},
  pages = {199--200},
  volume = {32},
  year = {2018}
}