Chair for Automata Theory LTCS – Report Finding Finite Herbrand Models