The Stable Model Semantics for Higher-Order Logic Programming

Open in new window