Advanced Logic Research 1980