Marek, Nerode, Remmel, 1997. Basic Forward Chaining Construction for Logic Programs. Defense Technical Information Center.. https://doi.org/10.21236/ada344500