Antonio Brogi Roberto Gorrieri Distributed Logic Programming. 295-335 1993 15 J. Log. Program. 4 db/journals/jlp/jlp15.html#BrogiG93