%0 Journal Article %1 journals/tplp/AnwarBI13 %A Anwar, Saadat %A Baral, Chitta %A Inoue, Katsumi %D 2013 %J Theory Pract. Log. Program. %K dblp %N 4-5-Online-Supplement %T Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning. %U http://dblp.uni-trier.de/db/journals/tplp/tplp13.html#AnwarBI13 %V 13

@article{journals/tplp/AnwarBI13, added-at = {2020-02-13T00:00:00.000+0100}, author = {Anwar, Saadat and Baral, Chitta and Inoue, Katsumi}, biburl = {https://www.bibsonomy.org/bibtex/219e4e826e2ac2da9d799fd510220faec/dblp}, ee = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013023.pdf}, interhash = {5bcade63ae202ffa56a5da9cdf7e5edf}, intrahash = {19e4e826e2ac2da9d799fd510220faec}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-5-Online-Supplement}, timestamp = {2020-02-14T11:43:32.000+0100}, title = {Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp13.html#AnwarBI13}, volume = 13, year = 2013 }