Sound reasoning (literally): prospects and challenges of current acoustic logics
scientific article; zbMATH DE number 6485450