Semantics-based dataflow analysis of logic programs (1989)

by K Marriott, H Søndergaard
Venue:In Information Processing 89, Proceedings of the Eleventh IFIP World Computer