pdfformat: 

@InProceedings{sato_et_al:LIPIcs:2012:3635, author = {Taisuke Sato and Philipp Meyer}, title = {{Tabling for infinite probability computation}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {348358}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897439}, ISSN = {18688969}, year = {2012}, volume = {17}, editor = {Agostino Dovier and V{\'i}tor Santos Costa}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3635}, URN = {urn:nbn:de:0030drops36355}, doi = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.348}, annote = {Keywords: probability, tabling, PRISM} }
Keywords:  probability, tabling, PRISM  
Seminar:  Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)  
Issue date:  2012  
Date of publication:  2012 