@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} }