@inproceedings{TEMP:conf/kr/CabalarFSS18,
  title = {Lower Bound Founded Logic of Here-and-There: A Preliminary Report},
  author = {Cabalar, Pedro and Fandinno, Jorge and Schaub, Torsten and Schellhorn, Sebastian},
  booktitle = {{NMR@KR}},
  pages = {31--41},
  year = {2018}
}