Dario Colazzo, Carlo Sartiani: Precision and complexity of XQuery type inference. PPDP 2011: 89-100