%O Book 
%F plilp95
%T Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings
%E Hermenegildo, Manuel V.
%E Swierstra, S. Doaitse
%V 982
%S Lecture Notes in Computer Science
%I Springer
%D 1995