Mark for the Extension of a Constrained Default Theory

• 对基于约束条件的缺省逻辑扩充的注记