1983–1993: The Wonder Years of Sequential Prolog Implementation (1994)

by Peter Van Roy
Venue:Journal of Logic Programming