Automated generation of readable proofs with geometric invariants Shang-Ching ChouXiao-Shan GaoJing-Zhong Zhang OriginalPaper Pages: 325 - 347
Automated generation of readable proofs with geometric invariants Shang-Ching ChouXiao-Shan GaoJing-Zhong Zhang OriginalPaper Pages: 349 - 370
Nicolog: A simple yet powerful cc(FD) language Gregory SidebottomWilliam S. Havens OriginalPaper Pages: 371 - 403