%0 Journal Article
%1 vanemden98quantitative
%A van Emden, M. H.
%D 1986
%J J. of Logic Programming
%K imported
%N 1
%P 37--53
%T Quantitative Deduction and Its Fixpoint Theory
%V 4
@article{vanemden98quantitative,
added-at = {2007-11-23T14:13:20.000+0100},
author = {van Emden, M. H.},
biburl = {https://www.bibsonomy.org/bibtex/2de6ca468a5644db2531843108f8c6a12/ramaz},
interhash = {6b53c24299dc23dc9f105248d10d258c},
intrahash = {de6ca468a5644db2531843108f8c6a12},
journal = {J. of Logic Programming},
keywords = {imported},
number = 1,
owner = {Mauro},
pages = {37--53},
timestamp = {2007-11-23T14:13:26.000+0100},
title = {Quantitative Deduction and Its Fixpoint Theory},
volume = 4,
year = 1986
}