Benedikt Bollig Paul Gastin Weighted versus Probabilistic Logics. 18-38 2009 Developments in Language Theory http://dx.doi.org/10.1007/978-3-642-02737-6_2 conf/dlt/2009 db/conf/dlt/dlt2009.html#BolligG09