A verified conformal decomposition finite element method for implicit, many-material geometries. - Scott A. Roberts; Hector Mendoza; Victor E. Brunini; David R. Noble (J. Comput. Phys., 2018)