1. Frisch AM (1985) An Investigation into Inference with Restricted Quantification and a Taxonomic Representation, SIGART Newsletter, 91: 28–31
2. Giannesini F, Kanoui H, Pasero R, van Caneghem M (1985) Prolog (in French). InterEditions, Paris
3. Koyama H, Tanaka H (1985) Definite Clause Knowledge Representation (in Japanese), proc. of the Logic Programming Conference '85, 95–106
4. Nakashima H (1986) Uranus Reference Manual, Research Memorandum, ETL-RM-86-7. Electrotechnical Laboratory, Ibaraki JAPAN
5. Nakashima H (1985) Term Description: A Simple Powerful Extension to Prolog Data Structures, Proc. of IJCAI-IX, 708–710