%0 Conference Paper %1 conf/lopstr/BenoyK96 %A Benoy, Florence %A King, Andy %B LOPSTR %D 1996 %E Gallagher, John P. %I Springer %K dblp %P 204-223 %T Inferring Argument Size Relationships with CLP(R). %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr96.html#BenoyK96 %V 1207 %@ 3-540-62718-9

@inproceedings{conf/lopstr/BenoyK96, added-at = {2017-05-17T00:00:00.000+0200}, author = {Benoy, Florence and King, Andy}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fa7c26f9acd74f719a7b77d299515e1f/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/1996}, editor = {Gallagher, John P.}, ee = {https://doi.org/10.1007/3-540-62718-9_12}, interhash = {a30373e039445d1d7033951b762b151f}, intrahash = {fa7c26f9acd74f719a7b77d299515e1f}, isbn = {3-540-62718-9}, keywords = {dblp}, pages = {204-223}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:25:25.000+0200}, title = {Inferring Argument Size Relationships with CLP(R).}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr96.html#BenoyK96}, volume = 1207, year = 1996 }