Refining Numerical Constants in First Order Logic Theories.

Marco Botta Roberto Piola Refining Numerical Constants in First Order Logic Theories. 109-131 2000 38 Machine Learning 1-2 db/journals/ml/ml38.html#BottaP00