Eusterbrock, Jutta2020-05-082020-05-081989https://dl.gi.de/handle/20.500.12116/33014deAutomatische Synthese kombinatorischer BeweiseText/Journal Article