1. On computing logic programs

   • Yannis Dimopoulos

   OriginalPaper Pages: 259 - 289

2. Mechanizing set theory

   • Lawrence C. Paulson
   • Krzysztof Grabczewski

   ReviewPaper Pages: 291 - 323

3. Automated generation of readable proofs with geometric invariants

   • Shang-Ching Chou
   • Xiao-Shan Gao
   • Jing-Zhong Zhang

   OriginalPaper Pages: 325 - 347

4. Automated generation of readable proofs with geometric invariants

   • Shang-Ching Chou
   • Xiao-Shan Gao
   • Jing-Zhong Zhang

   OriginalPaper Pages: 349 - 370

5. Nicolog: A simple yet powerful cc(FD) language

   • Gregory Sidebottom
   • William S. Havens

   OriginalPaper Pages: 371 - 403