%0 Conference Paper %1 conf/alpuk/Ross91 %A Ross, Brian J. %B ALPUK %D 1991 %E Wiggins, Geraint A. %E Mellish, Chris %E Duncan, Tim %I Springer %K dblp %P 135-155 %T Using Algebraic Semantics for Proving Prolog termination and Transformation. %U http://dblp.uni-trier.de/db/conf/alpuk/alpuk91.html#Ross91 %@ 3-540-19734-6

@inproceedings{conf/alpuk/Ross91, added-at = {2014-02-10T00:00:00.000+0100}, author = {Ross, Brian J.}, biburl = {https://www.bibsonomy.org/bibtex/2ec1a30bbda0f0f4b819707e541c1b43d/dblp}, booktitle = {ALPUK}, crossref = {conf/alpuk/1991}, editor = {Wiggins, Geraint A. and Mellish, Chris and Duncan, Tim}, interhash = {a92e234ba768db8293d1ce1f29702f26}, intrahash = {ec1a30bbda0f0f4b819707e541c1b43d}, isbn = {3-540-19734-6}, keywords = {dblp}, pages = {135-155}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2015-06-18T11:50:47.000+0200}, title = {Using Algebraic Semantics for Proving Prolog termination and Transformation.}, url = {http://dblp.uni-trier.de/db/conf/alpuk/alpuk91.html#Ross91}, year = 1991 }