@dblp

A mechanism for structuring logic programs.

. Imperial College London, UK, (1989)British Library, EThOS.

Links and resources

Tags