Hang Su, Husheng Liao: A Two-Phase Binding-Time Analysis in Partial Evaluation for XQuery. CSIE (7) 2009: 454-461