Zhang, G. Q. (1989). Logics of Domains. DAIMI Report Series, 18(298). https://doi.org/10.7146/dpb.v18i298.6692