Source-to-source-Transformationen zur Erklärung des Programmverhaltens bei deduktiven DatenbankenGünther SpechtÉpuiséPrévenez-moi
