Tiago L. Alves Paulo F. Silva Joost Visser José Nuno Oliveira Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. 399-414 2005 conf/fm/2005 FM http://dx.doi.org/10.1007/11526841_27 db/conf/fm/fm2005.html#AlvesSVO05