A fully-abstract semantics for a functional language with logic variables (1991)

by R Jagadeesan, P Panangaden, K Pingali
Venue:Preliminary version appeared in the Proceedings of the 4th IEEE Symposium on Logic in Computer Science