Hedlund, H. Call for Papers. SMT 2020, 97, 147.