Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2003-10-20 15:50:21 -0700 (Mon, 20 Oct 2003) Revision: 5009 Log message:
Adding full bibliography data for the MetaPRL TPHOLs 2003 system description.