A parameterized view on the complexity of dependence and independence logic. Kontinen, J., Meier, A., & Mahmood, Y. J. Log. Comput., 32(8):1624–1644, 2022.
A parameterized view on the complexity of dependence and independence logic [link]Paper  doi  bibtex   

Downloads: 0