@inproceedings{DBLP:conf/kr/BosserCDS18, title = {Introducing Temporal Stable Models for Linear Dynamic Logic}, author = {Bosser, Anne{-}Gwenn and Cabalar, Pedro and Di{\'{e}}guez, Mart{\'{\i}}n and Schaub, Torsten}, booktitle = {{KR}}, pages = {12--21}, publisher = {{AAAI} Press}, year = {2018} }