Automatické formování hypotéz metodou GUHA - teorie a aplikace Tomáš Havránek (1981) Pokroky matematiky, fyziky a astronomie