PAULA-Programm zur Auswertung logischer Ausdrücke - Wingert, F (Meth. Inform. Med, 1972)