Reflection principles in computational logic | OUP Journals & Magazine | IEEE Xplore