Niels Pahlavi. Higher-order Logic Learning and lambda-Progol. In Manuel V. Hermenegildo, Torsten Schaub, editors, Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK. Volume 7 of LIPIcs, pages 281-285, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [doi]
Abstract is missing.