@TechReport{geneves-rr08c,
author = {Pierre Genev\`es and Nabil Laya\"ida},
title = {{XML} Reasoning Solver User Manual},
month       = {November},
year        = {2008},
institution = {INRIA},
number      = {6726},
type        = {Research Report},
url         = {http://hal.inria.fr/inria-00339184/en},
}