Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
Bockmayr, A., Krischer, S., & Werner, A. (1995). Narrowing strategies for arbitrary canonical systems. Fundamenta Informaticae, 24(1,2), 125-155.