A system at the cross roads of logic and functional programming (1992)

by F Kamareddine
Venue:Science of Computer Programming