Characterising Choiceless Polynomial Time with First-Order Interpretations

   Abstract