The implementation of a distributed model for logic programming based on multiple-headed clauses
scientific article; zbMATH DE number 92140