"Aristippus"@cs .