Choices in, & Limitations of, Logic Programming ID TR-86-02 Authors Paul J. Voda Publishing date January 1986