Mahmood, Y., &; Meier, A. (2021). Parameterised complexity of model checking and satisfiability in propositional dependence logic. Annals of Mathematics and Artificial Intelligence, 90(2–3), 271–296.https://doi.org/10.1007/s10472-021-09730-w 

Alt, H., Behrends, B., &; Blömer, J. (1995). Approximate matching of polygonal shapes. Annals of Mathematics and Artificial Intelligence, 13(3).