Constraint satisfaction problems in the logic LFP +rank

  • 78
  • 53