Janis Barzdins Rusins Freivalds Carl H. Smith Towards Axiomatic Basis of Inductive Inference. 1-13 2001 conf/fct/2001 FCT http://link.springer.de/link/service/series/0558/bibs/2138/21380001.htm db/conf/fct/fct2001.html#BarzdinsFS01