@article{1093894713,
author = {Belding, W. Russell and Poss, Richard L. and Welsh, Paul J.},
title = {Transitivity, supertransitivity and induction.},
journal = {Notre Dame J. Formal Logic},
volume = {13},
number = {3},
year = {1972},
pages = { 177-190},
language = {en},
url = {http://dml.mathdoc.fr/item/1093894713}
}
Belding, W. Russell; Poss, Richard L.; Welsh, Paul J. Transitivity, supertransitivity and induction.. Notre Dame J. Formal Logic, Tome 13 (1972) no. 3, pp. 177-190. http://gdmltest.u-ga.fr/item/1093894713/