Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, H. (2001). Bottom-Up Deduction with Deletion and Priorities. In O. Danvy, & A. Filinski (Eds.), Programs as Data Objects (PADO-01): Second Symposium PADO 2001 (pp. 276-277). Berlin, Germany: Springer.