Detail

Publication date: 01/01/1984

A proposal for distributed programming in logic

---