Peano Arithmetic if my googling is correct. That was my guess but it would be nice of the paper authors to be courteous to readers. Even if they’re more familiar with the domain than us, there’s no guarantee an acronym is unique within the domain. Technical writing 101.