多项选择题

A.CRTD
B.REL
C.GMPS
D.CNF
E.DLV、TECO