References
Herman Ruge Jervell
Reasoning in trees
1987
in: Mathematical logic and its applications, Dordrecht : Springer
Keeping phenomenologists informed since May 2002
1987
in: Mathematical logic and its applications, Dordrecht : Springer