Lu Yang Zhenbing Zeng Constructing a Tetrahedron with Prescribed Heights and Widths. 203-211 2006 conf/adg/2006 Automated Deduction in Geometry http://dx.doi.org/10.1007/978-3-540-77356-6_13 db/conf/adg/adg2006.html#YangZ06