Ofer Arieli, Anne Marie Borg and Christian Straßer , "A postulate-driven study of logical argumentation",  Artificial Intelligence, Volume 322, September 2023.