Constraint satisfaction problems in the logic LFP +rank

  • 46
  • 24