First-Order Stable Model Semantics with Intensional Functions

Open in new window