Mechanizing hypothesis formation : mathematical foundations for a general theory - Hajek, P.; Havranek, T (Tomas) (Berlin : Springer-Verlag, 1978)
Keywords: Automatic hypothesis formation