@entry{kha-oga-12-aa,
  author = {T Van Khanh and M Ogawa},
  title = {SMT for polynomial constraints on real numbers},
  journal = {Electronic Notes in Theoretical Computer Science,},
  volume = {},
  number = {},
  pages = {},
  year = 2012,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://www.sciencedirect.com/science/article/pii/S1571066112000746}}},
  quotes = {This paper preliminarily reports an SMT for solving polynomial inequalities over real numbers. Our approach is a combination of interval arithmetic (over-approximation, aiming to ...}
}