Using connectionist networks for guiding the search of a theorem prover - Suttner, Christian B.; Ertel, Wolfgang (Technische Universität <München>: TUM-I, 1990)