Marco Botta, Roberto Piola. Refining Numerical Constants in First Order Logic Theories. Machine Learning, 38(1-2):109-131, 2000.
@article{BottaP00, title = {Refining Numerical Constants in First Order Logic Theories}, author = {Marco Botta and Roberto Piola}, year = {2000}, tags = {logic}, researchr = {https://researchr.org/publication/BottaP00}, cites = {0}, citedby = {0}, journal = {Machine Learning}, volume = {38}, number = {1-2}, pages = {109-131}, }