Mahmood, Yasir, and Arne 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, Springer Science and Business Media LLC, 2021, pp. 271–96, doi:10.1007/s10472-021-09730-w.

Alt, Helmut, et al. “Approximate Matching of Polygonal Shapes.” Annals of Mathematics and Artificial Intelligence, vol. 13, no. 3, 1995.