Deductive Mathematical Databases - A Case Study.

@inproceedings{DBLP:conf/ssdbm/ButlerI90,
  author    = {Gregory Butler and
               Sridhar S. Iyer},
  editor    = {Zbigniew Michalewicz},
  title     = {Deductive Mathematical Databases - A Case Study},
  booktitle = {Statistical and Scientific Database Management, 5th International
               Conference SSDBM, Charlotte, NC, USA, April 3-5, 1990, Proccedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {420},
  year      = {1990},
  isbn      = {3-540-52342-1},
  pages     = {50-64},
  ee        = {db/conf/ssdbm/ButlerI90.html},
  crossref  = {DBLP:conf/ssdbm/90},
  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/An2-5 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

Printed Edition

References

[Butler and Cannon 1988]

Gregory Butler, John J. Cannon: Cayley, Version 4: The User Language. ISSAC 1988: 456-466 BibTeX

[Butler and Sridhar 1988]

...

[Butler and Iyer 1989]

...

[Cannon 1984]

...

[Clocksin and Mellsih 1981]

W. F. Clocksin, Chris Mellish: Programming in Prolog. Springer 1981
BibTeX

[Conway et al. 1985]

...

[Hall and Senior 1964]

...

[Hill 1975]

...

[James et al. 1988]

...

[Ley 1988]

...

[Lloyd 1983]

John W. Lloyd: An Introduction to Deductive Database Systems. Australian Computer Journal 15(2): 52-57(1983) BibTeX

[Ludwig and Falter 1988]

...

[McKay 1979]

...

[Neub�ser et al. 1982]

...

[Newman and O'Brien 1987]

...

[O'Brien 1987]

...

[O'Brien 1988]

...

[Ramamohanarao and Shepherd 1986]

Kotagiri Ramamohanarao, John Shepherd: A Superimposed Codeword Indexing Scheme for Very Large Prolog Databases. ICLP 1986: 569-576 BibTeX

[Thom and Naish 1983]

...

[Thom and Zobel 1987]

...

[Topor et al. 1985]

Rodney W. Topor, Teresa Keddis, Derek W. Wright: Deductive Database Tools. Australian Computer Journal 17(4): 163-173(1985) BibTeX

[Warren 1983]

...