Zur Modellierung logischer Aussagen ergänzend zu linearen Programmen - Meier, G.; Düsing, Roland (1990)