%0 Journal Article %1 journals/logcom/GiordanoMD15 %A Giordano, Laura %A Martelli, Alberto %A Dupré, Daniele Theseider %D 2015 %J J. Log. Comput. %K dblp %N 6 %P 1307-1330 %T Achieving completeness in the verification of action theories by Bounded Model Checking in ASP. %U http://dblp.uni-trier.de/db/journals/logcom/logcom25.html#GiordanoMD15 %V 25

@article{journals/logcom/GiordanoMD15, added-at = {2023-09-30T00:00:00.000+0200}, author = {Giordano, Laura and Martelli, Alberto and Dupré, Daniele Theseider}, biburl = {https://www.bibsonomy.org/bibtex/2ea715e7e082c4c29afd05de8d80ff49b/dblp}, ee = {https://www.wikidata.org/entity/Q58207589}, interhash = {a2a9c3a80611e967a6c0d2adb5a58062}, intrahash = {ea715e7e082c4c29afd05de8d80ff49b}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 6, pages = {1307-1330}, timestamp = {2024-04-09T05:12:36.000+0200}, title = {Achieving completeness in the verification of action theories by Bounded Model Checking in ASP.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom25.html#GiordanoMD15}, volume = 25, year = 2015 }