Inferring Argument Size Relationships with CLP(R).

Florence Benoy Andy King Inferring Argument Size Relationships with CLP(R). 204-223 1996 conf/lopstr/1996 LOPSTR db/conf/lopstr/lopstr96.html#BenoyK96