Complexity thresholds in inclusion logic

Miika Hannula, Lauri Hella. Complexity thresholds in inclusion logic. Inf. Comput., 287:104759, 2022. [doi]

Abstract

Abstract is missing.