"Announcing the Release of Aquarius Prolog."

Thomas W. Getzinger, Ralph Clarke Haygood, Peter Van Roy (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics