Weydert, Emil Programming Logics, MPI for Informatics, Max Planck Society;
Weydert, E., Brewka, G., & Witteveen, C. (Eds.). (1997). Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97). Saarbrücken, Germany: Max-Planck-Institut für Informatik.