"AFIPS Spring Joint Computer Conference"@cs .