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