Declarative Programming in Prolog (1993)

by K R Apt
Venue:Proceedings of the Int'l Symposium on Logic Programming