"Characterizations and algorithms of extensions for CADL and QDL."

Mingyi Zhang, Ying Zhang (1999)

Details and statistics

DOI: 10.1007/BF02946520

access: closed

type: Journal Article

metadata version: 2020-02-04