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