Summary
Massively parallel reasoning algorithms for normative reasoning
More information & hyperlinks