Vivid: a framework for heterogeneous problem solving
scientific article; zbMATH DE number 5650765
scientific article