Article,

Proving Theorems about LISP Functions.

, and .
J. ACM, 22 (1): 129-144 (1975)

Meta data

Tags

Users

  • @emanuel
  • @dblp

Comments and Reviews