@misc {IOPORT.70931172,
    author       = {Gavilanes-Franco, Antonio and Lucio-Carrasco, Francisca and Rodr{\'\i}guez-Artalejo, Mario},
    title        = {Reasoning with higher order partial functions},
    howpublished = {CSL, 167-181 (1992).},
    year         = {1992},
    doi          = {10.1007/3-540-56992-8_12},
    identifier   = {70931172},
}