Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uunet!dino!ux1.cso.uiuc.edu!ux1.cso.uiuc.edu!m.cs.uiuc.edu!p.cs.uiuc.edu!gillies
From: gillies@p.cs.uiuc.edu
Newsgroups: comp.edu
Subject: Re: Reasons why you don't prove your pr
Message-ID: <82400066@p.cs.uiuc.edu>
Date: 9 Jan 90 17:29:25 GMT
References: <7578@hubcap.clemson.edu>
Lines: 6
Nf-ID: #R:hubcap.clemson.edu:7578:p.cs.uiuc.edu:82400066:000:167
Nf-From: p.cs.uiuc.edu!gillies    Jan  8 18:58:00 1990


Here is the reference:

Richard A. De Millo, Richard J. Lipton, and Alan J. Perlis.  Social
Processes and Proofs of Theorems and Programs, CACM May 1979, pp
271-280.