Characterising Choiceless Polynomial Time with First-Order Interpretations | IEEE Conference Publication | IEEE Xplore