Citation: S. Dawson et al., PRACTICAL PROGRAM ANALYSIS USING GENERAL-PURPOSE LOGIC PROGRAMMING SYSTEMS - A CASE-STUDY, ACM SIGPLAN NOTICES, 31(5), 1996, pp. 117-126
Authors:
DAWSON S
RAMAKRISHNAN CR
SKIENA S
SWIFT T
Citation: S. Dawson et al., PRINCIPLES AND PRACTICE OF UNIFICATION FACTORING, ACM transactions on programming languages and systems, 18(5), 1996, pp. 528-563