Verfeinerungen und Erweiterungen des Modelleliminationskalküls