Yasser Kotb Katsuhiko Gondow Takuya Katayama Optimizing the Execution Time for Checking the Consistency of XML Documents. 257-279 2004 22 J. Intell. Inf. Syst. 3 http://dx.doi.org/10.1023/B:JIIS.0000019279.81927.c5 db/journals/jiis/jiis22.html#KotbGK04