Natraj Arni Sergio Greco Domenico Saccà Matching of Bounded Set Terms in the Logic Language LDL++. 73-87 1996 27 J. Log. Program. 1 db/journals/jlp/jlp27.html#ArniGS96