@inproceedings{DBLP:conf/jelia/CabalarFSS19,
  title = {Lower Bound Founded Logic of Here-and-There},
  author = {Cabalar, Pedro and Fandinno, Jorge and Schaub, Torsten and Schellhorn, Sebastian},
  booktitle = {{JELIA}},
  pages = {509--525},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {11468},
  year = {2019}
}