The Complexity of Boundedness for Guarded Logics.

Michael Benedikt, Balder ten Cate, Thomas Colcombet, Michael Vanden Boom

Browse the full LICS paper archive.