On weighted first-order logics with discounting Eleni MandraliGeorge Rahonis Original Article 30 January 2014 Pages: 61 - 106
An efficient simulation algorithm on Kripke structures Francesco Ranzato Original Article 21 February 2014 Pages: 107 - 125