General inductive inference types based on linearly ordered sets (1996)

by A Ambainis, R Freivalds, C Smith
Venue:In Proceedings of Symposium on Theoretical Aspects of Computer Science