Laura Bozzelli, David Pearce
On the Complexity of Temporal Equilibrium Logic
LICS, 2015.
@inproceedings{LICS-2015-BozzelliP, author = "Laura Bozzelli and David Pearce", booktitle = "{Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2015.65", isbn = "978-1-4799-8875-4", pages = "645--656", publisher = "{IEEE}", title = "{On the Complexity of Temporal Equilibrium Logic}", year = 2015, }