FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions

Open in new window