Massively Parallel Reasoning under the Well-Founded Semantics Using X10 | IEEE Conference Publication | IEEE Xplore