"Macintyre"@cs .