Weydert, Emil Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dxPaN (Verlagsversion)
Weydert, E. (1995). Numeric Defaults. About an Expressive First-order Framework for Reasoning with Infinitesimal Probabilities. In C. Froideveaux, & J. Kohlas (Eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty (pp. 420-427). Berlin, Germany: Springer.