_id,doi,title
4549,10.1109/QEST.2006.11,Compositional quantitative reasoning