Zachary, J. L., "A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm", Ph.D. Thesis (Report MIT/LCS/TR-405)

Languages mentioned

• Denali {1987}