"Characterising Choiceless Polynomial Time with First-Order Interpretations."

Erich Grädel et al. (2015)
maintained by Schloss Dagstuhl LZI, founded at University of Trier