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]

Authors

Mingyi Zhang

This author has not been identified. Look up 'Mingyi Zhang' in Google

Ying Zhang

This author has not been identified. Look up 'Ying Zhang' in Google