Quantitative deduction and its fixpoint theory (1986)

by M H van Emden
Venue:The Journal of Logic Programming