%0 Journal Article %1 journals/ai/BernardiniFS18 %A Bernardini, Sara %A Fagnani, Fabio %A Smith, David E. %D 2018 %J Artif. Intell. %K dblp %P 1-65 %T Extracting mutual exclusion invariants from lifted temporal planning domains. %U http://dblp.uni-trier.de/db/journals/ai/ai258.html#BernardiniFS18 %V 258

@article{journals/ai/BernardiniFS18, added-at = {2020-01-31T00:00:00.000+0100}, author = {Bernardini, Sara and Fagnani, Fabio and Smith, David E.}, biburl = {https://www.bibsonomy.org/bibtex/2c82caab523d953ac965d8913bcd82677/dblp}, ee = {https://doi.org/10.1016/j.artint.2018.01.004}, interhash = {ee9322677895b55cb3c998eb38f8e02d}, intrahash = {c82caab523d953ac965d8913bcd82677}, journal = {Artif. Intell.}, keywords = {dblp}, pages = {1-65}, timestamp = {2020-02-01T11:38:48.000+0100}, title = {Extracting mutual exclusion invariants from lifted temporal planning domains.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai258.html#BernardiniFS18}, volume = 258, year = 2018 }