Massively Parallel Reasoning under the Well-Founded Semantics Using X10Ilias TachmazidisLong Chenget al.2014ICTAI 2014