| Authored By: | Andris Ambainis, Rīsiņs Freivalds and Carl H. Smith |
| Paper Title: | General Inductive Inference Types Based on Linearly-Ordered Sets |
| Book/Journal Title: | Proc. 13th Annual Symposium on Theoretical Aspects of Computer Science: STACS'96 |
| Vol. 1046 | |
| Publisher: | Springer |
| Publication Date: | 1996 |
| Pages: | 243-253 |