Solberg, Kirsten Lackner, and Hanne Riis Nielson. “Strictness and Totality Analysis”. DAIMI Report Series, vol. 23, no. 474, June 1994, doi:10.7146/dpb.v23i474.6947.