Daniel Cabeza, Manuel V. Hermenegildo, James Lipton. Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. In Michael J. Maher, editor, Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings. Volume 3321 of Lecture Notes in Computer Science, pages 93-108, Springer, 2004. [doi]
Abstract is missing.