A First-Order Axiomatization of the Theory of Finite Trees (1995)

by Rolf Backofen , James Rogers , K. Vijay-shanker
Citations:46 - 3 self