cs.LO cs.AI cs.PL I.2.3; I.2.5; F.3.2
The Stable Model Semantics for Higher-Order Logic Programming
Bart Bogaerts Angelos Charalambidis Giannos Chatziagapis Babis Kostopoulos Samuele Pollaci Panos Rondogiannis