Logic Program Synthesis Using Schema Instantation in an Interactive Environment - Johansson, Anna-Lena (Stockholm University, 1995)