Added the reference to appendix A of the ATP