Conference Proceedings
AN APPLICATION OF ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - OCCUR CHECK REDUCTION
H SONDERGAARD
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SPRINGER VERLAG | Published : 1986