Weydert, Emil Programming Logics, MPI for Informatics, Max Planck Society;
Weydert, E. (1996). Default Quantifier Logic. In I. Niemelä (Ed.), Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems. Koblenz-Landau, Germany: Universität Koblenz-Landau, Institut für Informatik.