A Prolog Benchmark Suite for Aquarius (1989)

by R Haygood
Venue:University of California, Berkeley