"David Clark Allison"@cs .