Vol-971⫷ Vol-972 ⫸Vol-973
urn:nbn:de:0074-972-0


None⫷None⫸None
Manuel Ojeda-AciegoManuel EncisoPablo CorderoÁngel Mora 0001

Computing Minimal Generators from Implications: a Logic-guided Approach