Drupal-Bibcite17<style face="normal" font="default" size="100%">Fixed-point extensions of first-order logic</style>