CoRR, November 1993

• Francesco Bergadano, Daniele Gunetti, Umberto Trinchero:
  The Difficulties of Learning Logic Programs with Cut. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/9311101]
• Jeffrey C. Schlimmer, Leonard A. Hermens:
  Software Agents: Completing Patterns and Constructing User Interfaces. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/9311102]
• Lawrence C. Paulson:
  Set Theory for Verification: I. From Foundations to Functions. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/9311103]