Constraint logic programming for the analysis and partial synthesis of truss structures. - Sivand Lakmazaheri; William J. Rasdorf (Artif. Intell. Eng. Des. Anal. Manuf., 1989)

A logic-based approach for processing design standards. - William J. Rasdorf; Sivand Lakmazaheri (Artif. Intell. Eng. Des. Anal. Manuf., 1990)

Constraint-based reasoning via Grobner Bases. - Sivand Lakmazaheri (Artif. Intell. Eng. Des. Anal. Manuf., 1997)