Using Lightweight Inference to Solve Lightweight Problems.

Marc Denecker, Joost Vennekens

Browse the full LPNMR paper archive.