1997

  • Advanced Techniques for Logic Program Specialisation.
    In AI Communications, 10, 2, 127--128, 1997.
    • Specialization of Declarative Programs and its Application (workshop overview).
      In ILPS, MIT Press, 413--414, 1997.
      • The Ecce Partial Deduction System.
        In Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, German Puebla, Universidad Polit├ęcnica de Madrid Tech. Rep. CLIP7/97.1, 1997.
        • Proceedings of the ILPS'97 Workshop on Specialisation of Declarative Programs and its Application.
          In Michael Leuschel, K. U. Leuven, Tech. Rep. CW 255, also as DIKU Report 97/30, University of Copenhagen, 1997.
          • Advanced Techniques for Logic Program Specialisation.
            PhD Thesis, K.U. Leuven, 1997.
          • Stefan Hallerstede
            Semantische Fundierung von CSP-Z.
            Master Thesis, Carl von Ossietzky Universit├Ąt Oldenburg, 1997.