SEARCH

SEARCH BY CITATION

References

  • [1]
    V. Pambuccian, The complexity of plane hyperbolic incidence geometry is ∀∃∀∃. Math. Log. Quart. 51, 277281 (2005).