Back-and-forth systems for fuzzy first-order models
scientific article; zbMATH DE number 6955486
scientific article