Logic Programming: Systematic Program Development (1990)

by Y DeVille