Gerhard Gröger. Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme. In WLP. pages 36-41, 1993.
@inproceedings{Groger93:0,
title = {Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme},
author = {Gerhard Gröger},
year = {1993},
researchr = {https://researchr.org/publication/Groger93%3A0},
cites = {0},
citedby = {0},
pages = {36-41},
booktitle = {WLP},
}