Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!samsung!munnari.oz.au!goanna!ok
From: ok@goanna.oz.au (Richard O'keefe)
Newsgroups: comp.theory
Subject: "occur check"
Keywords: unification, terminology
Message-ID: <2901@goanna.oz.au>
Date: 22 Feb 90 08:54:04 GMT
Organization: Comp Sci, RMIT, Melbourne, Australia
Lines: 9

I was recently taken to task for using the phrase "occurS check"
for the test made in unification to see whether a given variable
occurs in a given term.  Fair enough, grammatical English would
be "occurrence check", but it seems that the more popular phrase
is "occur check" (which affects me like fingernails on a black-
board).

Can anyone tell me who introduced the phrase "occur/occurs check"
and in what paper?  It _wasn't_ Robinson 1965, I checked.