Using linear integer programming to solve XML consistency problems in the presence of DTDs.