On Natural Deduction in First-Ortder Fixpoint Logics.

Andrzej Szalas On Natural Deduction in First-Ortder Fixpoint Logics. 81-94 1996 26 Fundam. Inform. 1 db/journals/fuin/fuin26.html#Szalas96