Graphikbasierte Beweisverfahren für konditionale nichtmonotone Logiken. - Panagiotis Papakostas (1995)