Quintus Prolog 3.0

   page       BibTeX_logo.png   
Ken Johnson
IEEE Intelligent Systems 6(2), pages 94-96
April 1991