Verfeinerungen und Erweiterungen des Modelleliminationskalküls - Mayr, Klaus (1995)