Aktualisierte und verfeinerte Version des SCL-Kalküls für die Prädikatenlogik ohne Gleichheit

Der Beitrag präsentiert eine aktualisierte und verfeinerte Version des SCL-Kalküls für die Prädikatenlogik ohne Gleichheit. Die Verfeinerungen umfassen eine stärkere Regularitätsdefinition und die Einführung von Trail- und Modellbegrenzung, um Terminierungsgarantien zu erreichen.