F. P. Pratama and J. Hernadi, “KONSISTENSI AKSIOMA-AKSIOMA TERHADAP ISTILAH-ISTILAH TAKTERDEFINISI GEOMETRI HIPERBOLIK PADA MODEL PIRINGAN POINCARE”, ED, vol. 2, no. 2, pp. 161–178, Sep. 2018.