First-Order Logical Neural Networks. - Boonserm Kijsirikul; Thanupol Lerdlamnaochai (Int. J. Hybrid Intell. Syst., 2005)