共 19 条
[14]
KRARUP J, 1978, MATH PROGRAM STUD, V9, P75, DOI 10.1007/BFb0120827
[17]
Rudeanu, 1968, BOOLEAN METHODS OPER, V5