When referring to this implementation of clp(Q,R) in publications, you should use the following reference:
Holzbaur C., OFAI clp(q,r) Manual, Edition 1.3.3, Austrian Research Institute for Artificial Intelligence, Vienna, TR-95-09, 1995.