%0 Conference Paper %1 conf/birthday/EiterFF12 %A Eiter, Thomas %A Feier, Cristina %A Fink, Michael %B Correct Reasoning %D 2012 %E Erdem, Esra %E Lee, Joohyung %E Lierler, Yuliya %E Pearce, David %I Springer %K dblp %P 211-228 %T Simulating Production Rules Using ACTHEX. %U http://dblp.uni-trier.de/db/conf/birthday/lifschitz2012.html#EiterFF12 %V 7265 %@ 978-3-642-30742-3

@inproceedings{conf/birthday/EiterFF12, added-at = {2017-11-16T00:00:00.000+0100}, author = {Eiter, Thomas and Feier, Cristina and Fink, Michael}, biburl = {https://www.bibsonomy.org/bibtex/28d75b1e4f550510974e52e63a8db3a72/dblp}, booktitle = {Correct Reasoning}, crossref = {conf/birthday/2012lifschitz}, editor = {Erdem, Esra and Lee, Joohyung and Lierler, Yuliya and Pearce, David}, ee = {https://doi.org/10.1007/978-3-642-30743-0_15}, interhash = {b57d22f3aaa43d83e4aedcf696a3f59c}, intrahash = {8d75b1e4f550510974e52e63a8db3a72}, isbn = {978-3-642-30742-3}, keywords = {dblp}, pages = {211-228}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:14.000+0200}, title = {Simulating Production Rules Using ACTHEX.}, url = {http://dblp.uni-trier.de/db/conf/birthday/lifschitz2012.html#EiterFF12}, volume = 7265, year = 2012 }