Antonio Brogi;Paolo Mancarella;Dino Pedreschi;Franco Turini
-;-;-;-
Modular logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)