Objects in Forum (1995)

by G Delzanno, M Martelli
Venue:Proceedings of the 1995 International Logic Programming Symposium