MLA
Xu, Hao. How To Efficiently Implement An Oshl-based Automatic Theorem Prover. University of North Carolina at Chapel Hill, 2012. https://doi.org/10.17615/y6tb-1666
APA
Xu, H. (2012). How To Efficiently Implement An OSHL-Based Automatic Theorem Prover. University of North Carolina at Chapel Hill. https://doi.org/10.17615/y6tb-1666
Chicago
Xu, Hao. 2012. How To Efficiently Implement An Oshl-Based Automatic Theorem Prover. University of North Carolina at Chapel Hill. https://doi.org/10.17615/y6tb-1666