%0 Journal Article %1 journals/tocl/MolinaroSS14 %A Molinaro, Cristian %A Sliva, Amy %A Subrahmanian, V. S. %D 2014 %J ACM Trans. Comput. Log. %K dblp %N 3 %P 18:1-18:35 %T Super-Solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic. %U http://dblp.uni-trier.de/db/journals/tocl/tocl15.html#MolinaroSS14 %V 15

@article{journals/tocl/MolinaroSS14, added-at = {2019-06-02T00:00:00.000+0200}, author = {Molinaro, Cristian and Sliva, Amy and Subrahmanian, V. S.}, biburl = {https://www.bibsonomy.org/bibtex/22fe44f929d48332546acc8f659c0a5c0/dblp}, ee = {https://www.wikidata.org/entity/Q62047407}, interhash = {0d28f993b230c45eb6ec748dbd741219}, intrahash = {2fe44f929d48332546acc8f659c0a5c0}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 3, pages = {18:1-18:35}, timestamp = {2019-06-04T12:22:00.000+0200}, title = {Super-Solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl15.html#MolinaroSS14}, volume = 15, year = 2014 }