Logic programming in LISP with controlled search (abstract only). - R. B. Abhyankar; N. Baharam (ACM Conference on Computer Science, 1987)