Workshop on Real-time Symbolic Computing

purl.stanford.edu/nn137mn1870