Proving completeness of logic programs with the cut
Crossref DOI link: https://doi.org/10.1007/s00165-016-0392-0
Published Print: 2017-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Drabent, Włodzimierz http://orcid.org/0000-0002-4700-7272
License valid from 2017-01-01