"Cone tracing"@cs .