PP-2008-44: Amélie Gheerbrant, Balder ten Cate Complete Axiomatizations of $MSO$, $FO(TC^1)$, $FO(LFP^1)$ on Finite Trees 1.Full Text, 2.Abstract. < Back
