See http://homepages.cwi.nl/~tromp/cl/cl.html