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