Announcement:Cached copies and corrections services are not available due to maintenance, we hope to restore these services by 6 PM December 18th 2009.
Documents
Authors
Tables !
Searching for "Unification of Bounded Simple Set Terms in Deductive Databases." – sorted by Relevance.