BRAVE - a parallel logic language for artificial intelligence. - T. J. Reynolds; A. J. Beaumont; A. S. K. Cheng; Sergio A. Delgado-Rannauro; L. A. Spacek (Future Gener. Comput. Syst., 1988)