Juha Kontinen, Arne Meier, Yasir Mahmood 0002. A Parameterized View on the Complexity of Dependence Logic. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings. Volume 13137 of Lecture Notes in Computer Science, pages 125-142, Springer, 2022. [doi]
Abstract is missing.