'Living Book': -'Deduction', 'Slicing', 'Interaction'.

Peter Baumgartner, Ulrich Furbach, Margret Gro-Hardt, Alex Sinner

Browse the full CADE paper archive.