"semantic preservation" Papers

2 papers found