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