@misc{indiciaea622e6402b48,
  title = {Provably Correct Floating-Point Implementation of a Point-In-Polygon Algorithm},
  author = {Moscato, Mariano M. and Titolo, Laura and Feliu, Marco A. and Munoz, Cesar A.},
  year = {2019},
  url = {https://ntrs.nasa.gov/citations/20200002745},
  note = {Source identifier: 20200002745}
}