rwxr-xr-x 4273/0 0 Feb 8 13:50 1994 papers/ rw-r--r-- 4273/0 1958 Feb 7 23:40 1994 papers/README.bib rw-r--r-- 4273/0 114153 Feb 7 23:40 1994 papers/aklccp.ps rw-r--r-- 4273/0 157808 Aug 19 01:59 1993 papers/aklilps91.ps rw-r--r-- 4273/0 317072 Feb 7 23:40 1994 papers/aklintro.ps rw-r--r-- 4273/0 160257 Feb 7 23:40 1994 papers/aklsicsR9108.ps rw-r--r-- 4273/0 235970 Feb 7 23:40 1994 papers/analysis.ps rw-r--r-- 4273/0 171930 Feb 7 23:41 1994 papers/kapiclp90.ps rw-r--r-- 4273/0 197142 Aug 19 02:00 1993 papers/opsem.ps rw-r--r-- 4273/0 183380 Aug 19 02:00 1993 papers/overview.ps rw-r--r-- 4273/0 407365 Aug 19 02:00 1993 papers/port.ps rw-r--r-- 4273/0 647824 Aug 19 02:00 1993 papers/sicsR9112.ps rw-r--r-- 4273/0 220225 Feb 7 23:41 1994 papers/syntax.ps