Tabulation proof procedures for fuzzy linguistic logic programming
scientific article; zbMATH DE number 6522969
scientific article