Erfüllbarkeitsalgorihmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung | lit.salon