Testing for refinement in \textsf{Circus}
scientific article; zbMATH DE number 6018087