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