%0 Conference Paper %1 conf/asian/CabezaHL04 %A Cabeza, Daniel %A Hermenegildo, Manuel V. %A Lipton, James %B ASIAN %D 2004 %E Maher, Michael J. %I Springer %K dblp %P 93-108 %T Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. %U http://dblp.uni-trier.de/db/conf/asian/asian2004.html#CabezaHL04 %V 3321 %@ 3-540-24087-X

@inproceedings{conf/asian/CabezaHL04, added-at = {2017-05-26T00:00:00.000+0200}, author = {Cabeza, Daniel and Hermenegildo, Manuel V. and Lipton, James}, biburl = {https://www.bibsonomy.org/bibtex/21a4b9724cebb4425a107d335ef31369b/dblp}, booktitle = {ASIAN}, crossref = {conf/asian/2004}, editor = {Maher, Michael J.}, ee = {https://doi.org/10.1007/978-3-540-30502-6_7}, interhash = {cd9ef5bb085b8fef26003e4f834e4eeb}, intrahash = {1a4b9724cebb4425a107d335ef31369b}, isbn = {3-540-24087-X}, keywords = {dblp}, pages = {93-108}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:19:13.000+0200}, title = {Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.}, url = {http://dblp.uni-trier.de/db/conf/asian/asian2004.html#CabezaHL04}, volume = 3321, year = 2004 }