Methodology and Implementation of a CLP System.

Joxan Jaffar Spiro Michaylov Methodology and Implementation of a CLP System. 196-218 1987 ICLP db/conf/iclp/iclp87.html#JaffarM87