by Bshouty, Nader H., Goldman, Sally A., Hancock, Thomas R., Matar, Sleiman
Published in Journal of computer and system sciences (01.04.1996)