@techreport{Maneth06Exact, author = {Sebastian Maneth and Thomas Perst and Helmut Seidl}, title = {Exact {XML} {T}ype {C}hecking in {P}olynomial {T}ime}, year = 2006, series = {Forschungsbericht}, volume = {06-04}, publisher = {Universit\"at Trier, Mathematik/Informatik}, }