A Sequential Abstract Machine for a Distributed Logic Language. - José C. Cunha; Manuel B. Carvalhosa (ACM Conference on Computer Science, 1992)