%0 Conference Paper %1 conf/lopstr/DegraveV07 %A Degrave, François %A Vanhoof, Wim %B LOPSTR %D 2007 %E King, Andy %I Springer %K dblp %P 43-58 %T Towards a Normal Form for Mercury Programs. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2007.html#DegraveV07 %V 4915 %@ 978-3-540-78768-6

@inproceedings{conf/lopstr/DegraveV07, added-at = {2017-05-17T00:00:00.000+0200}, author = {Degrave, François and Vanhoof, Wim}, biburl = {https://www.bibsonomy.org/bibtex/246850d1c5978e7a04b0a6dc321539be1/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2007}, editor = {King, Andy}, ee = {https://doi.org/10.1007/978-3-540-78769-3_4}, interhash = {bd496c2f256cb28cf2a4056e6ae9ae06}, intrahash = {46850d1c5978e7a04b0a6dc321539be1}, isbn = {978-3-540-78768-6}, keywords = {dblp}, pages = {43-58}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:04:44.000+0200}, title = {Towards a Normal Form for Mercury Programs.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2007.html#DegraveV07}, volume = 4915, year = 2007 }