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

Luis Farias del Cerro, David Pearce, Agustn Valverde

Browse the full IJCAI paper archive.