"Gordon Plotkin"@cs .