Partial and Nested Recursive Function Definitions in Higher-order Logic | Publicación