Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dtnp5 (Verlagsversion)
Hanus, M. (1992). Improving Control of Logic Programs by Using Functional Logic Languages. In M. Bruynooghe, & M. Wirsing (Eds.), Proceedings 4th International Symposium on Programming Language Implementation and Logic Programming (pp. 1-23). Berlin, Germany: Springer.