Andreas Eick Elfriede Fehr Inconsistencies of pure LISP. 101-110 1983 conf/tcs/1983 Theoretical Computer Science db/conf/tcs/tcs1983.html#EickF83