Introducing Temporal Stable Models for Linear Dynamic Logic.

Anne-Gwenn Bosser, Pedro Cabalar, Martn Diguez, Torsten Schaub

Browse the full KR paper archive.