Synthesis with rational environments
scientific article; zbMATH DE number 6627930
scientific article