@misc{CabalarFandinnoSchaubetal.2019,
  author    = {Pedro Cabalar and Jorge Fandinno and Torsten H. Schaub and Sebastian Schellhorn},
  title     = {Lower Bound Founded Logic of Here-and-There},
  booktitle = {Logics in Artificial Intelligence},
  volume    = {11468},
  isbn      = {978-3-030-19570-0},
  issn      = {0302-9743},
  doi       = {10.1007/978-3-030-19570-0_34},
  institution = {Institut f{\"u}r Informatik und Computational Science},
  type      = {other},
  pages     = {509 -- 525},
  year        = {2019},
}