Reducing the Number of Disjuncts in DTPs

Published in Information and Computation, 2023

Recommended citation: Alice Raffaele and Matteo Zavatteri. "Reducing the Number of Disjuncts in DTPs". Information and Computation, 2023.