Authors: Van Eijk, K Mesman, B Pinto, CAA Zhao, Q Bekooij, M Van Meerbergen, J Jess, J

Citation: K. Van Eijk et al., Constraint analysis for code generation: Basic techniques and applicationsin FACTS, ACM T DES A, 5(4), 2000, pp. 774-793