Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dti9b (Publisher version)
Basin, D. A. (1994). Logic Frameworks for Logic Programs. In L. Fribourg, & F. Turini (Eds.), Proceedings of the 4th International Workshop on Logic Program Synthesis and Transformation - Meta Programming in Logic (LOPSTR'94 and META'94) (pp. 1-16). Berlin, Germany: Springer.