OFAI clp(q,r) manual, Edition 1.3.2 (1995)

by C Holzbaur