Set-Term Matching in Logic Programming.

Natraj Arni Sergio Greco Domenico Saccà Set-Term Matching in Logic Programming. 436-449 ICDT1992/P436.pdf 1992 ICDT db/conf/icdt/icdt92.html#ArniGS92 conf/icdt/92 http://dx.doi.org/10.1007/3-540-56039-4_58 conf/edbt/AbiteboulG88 conf/sigmod/AbiteboulK89 journals/jlp/BeeriNST91 conf/cade/Buttner86 journals/jlp/DworkKM84 conf/cade/DworkCKS86 conf/cade/Fages84 conf/pods/ImmermanPS91 conf/cade/KapurN86 journals/csur/Knight89 journals/jcss/Kuper90 books/mk/minker88/LassezMM88 ... conf/cade/LincolnC88 ... books/sp/Lloyd87 books/cs/NaqviT89 journals/jsc/Siekmann89 journals/jacm/Stickel81 journals/jlp/ShmueliTZ92 conf/vldb/TsurZ86 books/cs/Ullman88 conf/pods/Vadaparty91