Darlington, J.L.J.L.Darlington2022-03-082022-03-081990https://publica.fraunhofer.de/handle/publica/31722710.1109/JCIT.1990.128302en004005006Logic programming with goal-directed searchconference paper