Y. Mahmood and A. Meier, “Parameterised complexity of model checking and satisfiability in propositional dependence logic,”10.1007/s10472-021-09730-w__Annals of Mathematics and Artificial Intelligence, vol. 90, no. 2–3, pp. 271–296, 2021, doi:10.1007/s10472-021-09730-w .
LibreCat: /record/45849
DOI: 10.1007/s10472-021-09730-w

H. Alt, B. Behrends, and J. Blömer, “Approximate matching of polygonal shapes,” Annals of Mathematics and Artificial Intelligence, vol. 13, no. 3, 1995.
LibreCat: /record/3037