Safety of Recursive Horn Clauses With Function Symbols.

@inproceedings{DBLP:conf/xp/RamakrishnanBS86,
  author    = {Raghu Ramakrishnan and
               Fran\c{c}ois Bancilhon and
               Abraham Silberschatz},
  editor    = {Henry F. Korth},
  title     = {Safety of Recursive Horn Clauses With Function Symbols},
  booktitle = {XP / 7.52 Workshop on Database Theory, University of Texas at
               Austin, TX, USA, August 13-15, 1986},
  year      = {1986},
  ee        = {db/conf/xp/RamakrishnanBS86.html},
  crossref  = {DBLP:conf/xp/1986},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An5-1 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd