An Efficient and Precise Sharing Domain for Logic Programs. (1996)

by Christian Fecht
Venue:Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs,