A connectionist approach for learning search control heuristics for automated deduction systems - Goller, Christoph (Infix, 1999)
Zugl.: München, Techn. Univ., Diss., 1997