Default theories over monadic languagesMichael KaminskiJulia Mosin2005Electronic Notes in Theoretical Computer ScienceConference paper