DOI,IST REx ID,Title of publication
10.1109/QEST.2007.15,3881,Qualitative logics and equivalences for probabilistic systems