Finding Reference

On definable completeness for ordered fields

Mojtaba Moniri