Die Verwendung mehrwertiger und nicht-monotoner Logiken zur ProgrammkonstruktionWolf ZimmermannEsaurito4,3Avvisami