Reasoning ; Ulrike Sattler AND Ian Horrocks
Common descendants