Marek, et al.. Basic Forward Chaining Construction for Logic Programs. Defense Technical Information Center, 1 June 1997, doi:10.21236/ada344500.