(:source 
   :version  3 
   :ip-address "138.96.32.21"
   :ip-name "zenon.inria.fr"
   :tcp-port 210
   :database-name "lp-bibtex-zenon-inria-fr"
   :cost 0.00 
   :cost-unit :free 
   :maintainer "wais-admin@zenon.inria.fr"
   :description "Server created with WAIS release 8 b3.1 on Dec 23 14:34:21 1991
    by wais-admin@zenon.inria.fr
This source, due to the courtesy of:
     rscheidhauer@dfki.uni-sb.de (congratulations and many thanks to him) 
contains the references to most of the proceedings of the last:

   - ICLP  (International Conference on Logic Programming)
   - SLP   (Symposium on Logic Programming)
   - NACLP (North American Conference on Logic Programming)

in bibtex format.
The display is made in a Text-widget but you can save your documents
in a bibtex file and for example run bibcard on it.

To obtain the bibtex abbreviations used in this source ask for: string
"
)
