A Network Representation of First-Order Logic That Uses Token Evolution for Inference. - HIDEAKI SUZUKI; MIKIO YOSHIDA; HIDEFUMI SAWAI (Journal of Information Science & Engineering, 2014)