Shriver, B. D. (1973). A Description of the MATHILDA System. DAIMI Report Series, 2(13). https://doi.org/10.7146/dpb.v2i13.6428