The Calculus of Facts. - Hartmann J. Genrich; Gerda Thieler-Mevissen (MFCS, 1976)