Patrick Hammer, Tony Lofthouse, Pei Wang: The OpenNARS Implementation of the Non-Axiomatic Reasoning System. AGI 2016: 160-170