Locating Polyhedral Objects from Edge Point Data. - Gary Silverman; Roger Y. Tsai; Mark Lavin (IJCAI, 1987)

Efficiently Certifying Non-Integer Powers. - Erich L. Kaltofen; Mark Lavin (Comput. Complex., 2010)