Introducing temporal stable models for linear dynamic logic

1. Bosser, A.-G.
2. Cabalar, P.
3. Diéguez, M.
4. Schaub, T.