an efficient purely declarative logic programming language (1995)

by Mercury
Venue:In Australian Computer Science Conference