add citation for z3