This paper describes a procedure to transform formulae of hybrid logic H(@) over transitive and reflexive frames into their clausal form.
