Voir la notice de l'article provenant de la source Czech Digital Mathematics Library
@article{PMFA_1981__26_3_a1, author = {Havr\'anek, Tom\'a\v{s}}, title = {Automatick\'e formov\'an{\'\i} hypot\'ez metodou {GUHA} - teorie a aplikace}, journal = {Pokroky matematiky, fyziky a astronomie}, pages = {136--150}, publisher = {mathdoc}, volume = {26}, number = {3}, year = {1981}, mrnumber = {0633640}, zbl = {0474.62007}, language = {cz}, url = {http://geodesic.mathdoc.fr/item/PMFA_1981__26_3_a1/} }
Havránek, Tomáš. Automatické formování hypotéz metodou GUHA - teorie a aplikace. Pokroky matematiky, fyziky a astronomie, Tome 26 (1981) no. 3, pp. 136-150. http://geodesic.mathdoc.fr/item/PMFA_1981__26_3_a1/