Source-to-source-Transformationen zur Erklärung des Programmverhaltens bei deduktiven DatenbankenGünther SpechtUitverkocht4,3Volgen