%0 Conference Paper %1 conf/flops/BandaDMS02 %A de la Banda, Maria J. García %A Demoen, Bart %A Marriott, Kim %A Stuckey, Peter J. %B FLOPS %D 2002 %E Hu, Zhenjiang %E Rodríguez-Artalejo, Mario %I Springer %K dblp %P 47-66 %T To the Gates of HAL: A HAL Tutorial. %U http://dblp.uni-trier.de/db/conf/flops/flops2002.html#BandaDMS02 %V 2441 %@ 3-540-44233-2

@inproceedings{conf/flops/BandaDMS02, added-at = {2017-05-21T00:00:00.000+0200}, author = {de la Banda, Maria J. García and Demoen, Bart and Marriott, Kim and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2759519ba163981eb30db603b741f3aa9/dblp}, booktitle = {FLOPS}, crossref = {conf/flops/2002}, editor = {Hu, Zhenjiang and Rodríguez-Artalejo, Mario}, ee = {https://doi.org/10.1007/3-540-45788-7_3}, interhash = {91b0ac3a843ea6d00f7c9e734068a97a}, intrahash = {759519ba163981eb30db603b741f3aa9}, isbn = {3-540-44233-2}, keywords = {dblp}, pages = {47-66}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:51:05.000+0200}, title = {To the Gates of HAL: A HAL Tutorial.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2002.html#BandaDMS02}, volume = 2441, year = 2002 }