_id,doi,title
4572,10.1007/978-3-540-69738-1_27,Invariant synthesis for combined theories