Brave : an OR-parallel logic language and its application to search problems in artificial intelligence. - Petros Keflas (1991)