Roberto Barbuti;Maurizio Martelli
-;-
On the complexity of dataflow analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)