Default theories over monadic languagesMichael KaminskiJulia Mosin2005Electronic Notes in Theoretical Computer Science