Generation Of Synthes Is Programs In Robra (Ariane) From String-Tree Correspondence Grammars (or a Strategy for Synthesis in Machine Translation)