Learning higher-order logic programs from failures Bibliographic details Authors S. J. Purgal, David M. Cerna, C. Kaliszyk Publication year 2022 Publication type Abstrakt Periodical IJCLR 2022 Program Bibliographic citation PURGAL, S. J., CERNA, David M., KALISZYK, C. Learning higher-order logic programs from failures. In: IJCLR 2022 Program. 2022. ID 561001 Abstract O0