Reference, Synthesis and Constraint Sat isfaction

Luis Alberto Pineda. Reference, Synthesis and Constraint Sat isfaction. Comput. Graph. Forum, 11(3):333-344, 1992. [doi]

Abstract

Abstract is missing.