Add citation for ARM catch-clause lookup