Pei-Yung Hsiao and Jin-Tai Yan, "Designing a Complementary Design Rule Checker Based on Binary Balanced Quad List Quad Tree," IEE Proceedings-E Computers and Digital Techniques, Vol.139, No.4, pp.311-322, 1992. (SCI)