A.6.7 SSA Query
See
Appendix A.9.4
for details.