publicações selecionadas artigo de conferência Automatic detection of SLS violation using knowledge based systems 2006