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