id: 70674500
dt: a
an: 70674500
au: Burke, Michael G.; Peshansky, Igor; Raghavachari, Mukund; Reichenbach,
    Christoph
ti: Analysis of imperative XML programs
so: DBPL, 216-230 (2007).
py: 2007
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-75987-4_15