Du?í, M. & Kosterec, M., 2017. A Valid Rule of ?-conversion for the Logic of Partial Functions. Organon F, 24, pp.10-36. Available at: http://www.klemens.sav.sk/fiusav/doc/organon/2017/1/10-36.pdf.