%0 Conference Paper %1 conf/wlp/Groger93 %A Gröger, Gerhard %B WLP %D 1993 %E Beierle, Christoph %K dblp %P 36-41 %T Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme. %U http://dblp.uni-trier.de/db/conf/wlp/wlp93.html#Groger93

@inproceedings{conf/wlp/Groger93, added-at = {2019-03-21T00:00:00.000+0100}, author = {Gröger, Gerhard}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25bba5fc732cb26ad1d0d44dafa2cabe5/dblp}, booktitle = {WLP}, crossref = {conf/wlp/1993}, editor = {Beierle, Christoph}, interhash = {bf3f2b1bbe02eed6c183203290f918d5}, intrahash = {5bba5fc732cb26ad1d0d44dafa2cabe5}, keywords = {dblp}, pages = {36-41}, timestamp = {2019-09-27T15:05:09.000+0200}, title = {Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme.}, url = {http://dblp.uni-trier.de/db/conf/wlp/wlp93.html#Groger93}, year = 1993 }