Quantitative deduction and fixpoint theory (1986)

by M van Emden
Venue:J. Logic Programming