A new category? Unpublished manuscript. Available at http://www.cs.cmu.edu/Groups/LTC (1996)

by D S Scott