Default theories over monadic languagesMichael KaminskiJulia Rubin-Mosin2006Theoretical Computer Science