Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!munnari.oz.au!goanna!ok
From: ok@goanna.oz.au (Richard O'keefe)
Newsgroups: comp.lang.prolog
Subject: References wanted
Message-ID: <2984@goanna.oz.au>
Date: 15 Mar 90 02:25:04 GMT
Organization: Comp Sci, RMIT, Melbourne, Australia
Lines: 2

I'm not quite up to date on Prolog type-checking work.
What are the really significant papers in, say, the last two years?