Type-Based XML Processing in Logic Programming.

Jorge Coelho Mário Florido Type-Based XML Processing in Logic Programming. 273-285 2003 conf/padl/2003 PADL http://link.springer.de/link/service/series/0558/bibs/2562/25620273.htm db/conf/padl/padl2003.html#CoelhoF03