Hedlund, H. CALL FOR PAPERS. SMT 2020, 97, 710.