_id,doi,title
3881,10.1109/QEST.2007.15,Qualitative logics and equivalences for probabilistic systems