Maarten H. van Emden Quantitative Deduction and its Fixpoint Theory. 37-53 1986 3 J. Log. Program. 1 db/journals/jlp/jlp3.html#Emden86