Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
scientific article; zbMATH DE number 5595391
scientific article