%0 Conference Paper %1 cruanes2014semantics %A Cruanes, Simon %A Heymans, Stijn %A Mason, Ian %A Owre, Sam %A Shankar, Natarajan %B Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugi (SAS 2014) %C Kanazawa, Japan %D 2014 %I Springer %K 2014 myown refereedpub %T The Semantics of Datalog for the Evidential Tool Bus (Extended Abstract) %U http://stijnheymans.net/pubs/sas2014.pdf

@inproceedings{cruanes2014semantics, added-at = {2014-01-13T20:36:58.000+0100}, address = {Kanazawa, Japan}, author = {Cruanes, Simon and Heymans, Stijn and Mason, Ian and Owre, Sam and Shankar, Natarajan}, biburl = {https://www.bibsonomy.org/bibtex/203ec69aa6355f741e8ee443b0269e107/stijn.heymans}, booktitle = {Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugi (SAS 2014)}, interhash = {deac67e949fe51d854646e79caf1260d}, intrahash = {03ec69aa6355f741e8ee443b0269e107}, keywords = {2014 myown refereedpub}, publisher = {Springer}, series = {LNCS Festschrift}, timestamp = {2014-01-13T20:37:27.000+0100}, title = {The Semantics of Datalog for the Evidential Tool Bus (Extended Abstract)}, url = {http://stijnheymans.net/pubs/sas2014.pdf}, year = 2014 }