A Labelled System for IPL with Variable Splitting.

Roger Antonsen, Arild Waaler

Browse the full CADE paper archive.