@inproceedings{Mailly2023,
title = {A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation},
booktitle = {Proceedings of the 5th International Conference on Logic and Argumentation ({CLAR} 2023)},
author = {Jean-Guy Mailly},
year = {2023},
pages = {84--100},
month = {september},
}