Characterizations and algorithms of extensions for CADL and QDL

Mingyi Zhang, Ying Zhang. Characterizations and algorithms of extensions for CADL and QDL. J. Comput. Sci. Technol., 14(2):140-145, 1999. [doi]

Bibliographies