Andrew Trotman Mounia Lalmas The Interpretation of CAS. 58-71 2005 conf/inex/2005 INEX http://dx.doi.org/10.1007/11766278_5 db/conf/inex/inex2005.html#TrotmanL05