Dong, Guozhu On the Monotonicity of (LDL) Logic Programs with Sets. MFDBS 1991: 201-215

Languages mentioned

• LDL {1984}