Author: Richard Van Emden
Alternate names: Richard van Emden; RICHARD VAN EMDEN