A Labelled System for IPL with Variable Splitting

Foredrag
17. July 2007
CADE-21 2007, Bremen, Germany

Presentasjon av artikkelen A Labelled System for IPL with Variable Splitting under CADE-21 (21st Conference on Automated Deduction).