@misc{BosserCabalarDieguezetal.2018,
  author    = {Anne-Gwenn Bosser and Pedro Cabalar and Martin Dieguez and Torsten H. Schaub},
  title     = {Introducing temporal stable models for linear dynamic logic},
  booktitle = {16th International Conference on Principles of Knowledge Representation and Reasoning},
  url       = {https://www.dc.fi.udc.es/~cabalar/del.pdf},
  institution = {Institut f{\"u}r Informatik und Computational Science},
  type      = {other},
  pages     = {12 -- 21},
  year        = {2018},
}