@techreport{ManethPerst2005,
   author = {Maneth, {S.} and Perst, {T.} and Seidl, {H.}},
   title = "{Exact XML Type Checking in Polynomial Time}",
   organization ={Technische Universit\"at M\"unchen},
   institution ={Institut f\"ur Informatik},
   type = "{Technical Report}",
   year = {2005},
   month = {12}
}