Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
Werner, A., Bockmayr, A., & Krischer, S. (1998). How to realize LSE narrowing. New Generation Computing, 16(4), 397-434.