Stable Models of Formulas with Intensional Functions

Open in new window