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