Report copyright - Bounded Programs: A New Decidable Class of Logic Programs ... · graph, a directed graph whose edges are labelled with useful ... by the reduction of the former. One of the novelties
Please pass captcha verification before submit form