Barcenas, 2015. A Counting Logic for Trees 19.. https://doi.org/10.13053/cys-19-2-1999