Solberg, Kirsten Lackner, and Hanne Riis Nielson. 1994. “Strictness and Totality Analysis”. DAIMI Report Series 23 (474). https://doi.org/10.7146/dpb.v23i474.6947.