Towards Distributed Logic Programming based on Computability Logic

Open in new window