%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 }