Nobutaka Suzuki, Takuya Okada, Yeondae Kwon. Detecting unsatisfiable CSS rules in the presence of DTDs. In Alvin Cheung, Kim Nguyen 0001, editors, Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, DBPL 2019, Phoenix, AZ, USA, June 23, 2019. pages 18-29, ACM, 2019. [doi]
Abstract is missing.