Palsberg, Jens. 1995. “Efficient Inference of Object Types”. BRICS Report Series 2 (32). https://doi.org/10.7146/brics.v2i32.19935.