A constraint language and its interpreter

Lucas, 1980, On the structure of application programs, 86, 390

Lucas, 1982, Representation of factual information by equations and their evaluation, IBM Research Report RJ 3362

Risch, 1982, An Interpreter for Functional Rules, IBM Research Report RJ 3360

Borning, 1979, ThingLab—A Constraint-oriented simulation laboratory

Borning, 1981, The programming language aspects of ThingLab, a constraint-oriented simulation laboratory, ACM Trans. Programming Lang. Syst., 3, 353, 10.1145/357146.357147

Hixson, 1983, Lotus 1-2-3, integrated program for the IBM PC, InfoWorld, 5, 39

Rodgers E. The TK! Avant-Garde-TK! solver: A new concept in problem-solving software. PC World 1 (4), 93–98.

Steele, 1979, Constraints, APL Quote Quad, 9, 208, 10.1145/390009.804464

Steele, 1980, The definition and implementation of a computer programming language based on constraints

Sussman, 1980, Constraints—A language for expressing almost-hierarchical descriptions, Artificial Intelligence, 14, 1, 10.1016/0004-3702(80)90032-6

Hoffmann, 1982, Programming with equations, ACM Trans. Programming Lang. Syst., 4, 83, 10.1145/357153.357158

DeRemer, 1981

Zima, 1985, A constraint language and its interpreter, IBM Research Report RJ 4714

Aho, 1977

Hecht, 1977

1981