Disjunctive logic programs, answer sets, and the cut rule
Crossref DOI link: https://doi.org/10.1007/s00153-022-00821-x
Published Online: 2022-03-04
Published Print: 2022-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Martin, Éric http://orcid.org/0000-0001-8832-7478
Funding for this research was provided by:
University of New South Wales
Text and Data Mining valid from 2022-03-04
Version of Record valid from 2022-03-04
Article History
Received: 31 January 2018
Accepted: 7 February 2022
First Online: 4 March 2022