CDOT: A Formal Foundation for Subtyping Reconstruction - 42Papers