An executable specification of a formal argumentation protocol
scientific article; zbMATH DE number 5576697
scientific article