Aspekte der rechnergestützten Generierung von Inferenzregeln durch Regelschemata.