Node:Referencing CLPQR, Next:Acknowledging CLPQR, Previous:Introduction, Up:Introduction
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.