A Free Logic for Stable Models with Partial Intensional Functions | Publicación