@article{1093883510, author = {Wagner, Steven}, title = {Tonk.}, journal = {Notre Dame J. Formal Logic}, volume = {22}, number = {1}, year = {1981}, pages = { 289-300}, language = {en}, url = {http://dml.mathdoc.fr/item/1093883510} }
Wagner, Steven. Tonk.. Notre Dame J. Formal Logic, Tome 22 (1981) no. 1, pp. 289-300. http://gdmltest.u-ga.fr/item/1093883510/