Carl Hewitt Common sense for concurrency and strong paraconsistency using unstratified inference and reflection http://arxiv.org/abs/0812.4852 2008 CoRR abs/0812.4852 db/journals/corr/corr0812.html#abs-0812-4852 informal publication