Authors: Haaland, Perry D., Lusth, John C., Liddle, Roger F., Curry, Joan W.
Superior Title: Annals of Mathematics and Artificial Intelligence. March 1990 2(1-4):179-195