\input zb-basic
\input zb-ioport
\iteman{io-port 70324631}
\itemau{Pham, Tuan Minh}
\itemti{Similar triangles and orientation in plane elementary geometry for coq-based proofs}
\itemso{SAC, 1268-1269 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/1774088.1774358}
\end