Basin, David Programming Logics, MPI for Informatics, Max Planck Society;
Basin, D., Kraan, I., & Bundy, A. (1992). Logic Program Synthesis via Proof Planning. In K.-K. Lau, & T. Clement (Eds.), Logic Program Synthesis and Transformation (pp. 1-14). Berlin: Springer.