Logical Deduction Using the Local Computation Framework.

Nic Wilson, Jrme Mengin

Browse the full ECSQARU paper archive.