Proof-theoretic investigations into integrated logical and functional programming. - Luis Filipe Ribeiro Pinto (1997)