Linear Constraint Projection - Top-Down and Bottom-Up.

Andreas Fordan Linear Constraint Projection - Top-Down and Bottom-Up. 0- 1997 DDLP db/conf/deductive/deductive97.html#Fordan97