Manfred Droste George Rahonis Weighted Automata and Weighted Logics with Discounting. 73-84 2007 conf/wia/2007 CIAA http://dx.doi.org/10.1007/978-3-540-76336-9_9 db/conf/wia/ciaa2007.html#DrosteR07