Putting consistent theories together in institutions

Mingsheng Ying. Putting consistent theories together in institutions. J. Comput. Sci. Technol., 10(3):260-266, 1995. [doi]

Abstract

Abstract is missing.