A. E. W. Mason
Elisabetta Dami
Symposium on Logic Programming (2nd 1985 Boston, Mass.)
John Burroughs, John Burroughs