Christian Kirkegaard Anders Møller Type Checking with XML Schema in XACT. 14-23 2006 conf/planX/2006 PLAN-X db/conf/planx/planX2006.html#KirkegaardM06