Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme

Gerhard Gröger. Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme. In WLP. pages 36-41, 1993.

Abstract

Abstract is missing.