LARA

This is an old revision of the document!


Handbook of Practical Logic and Automated Reasoning

by John Harrison (Intel Corporation, Portland, Oregon)