Reducing the number of disjuncts in DTPs

Alice Raffaele, Matteo Zavatteri. Reducing the number of disjuncts in DTPs. Inf. Comput., 293:105048, August 2023. [doi]

@article{RaffaeleZ23,
  title = {Reducing the number of disjuncts in DTPs},
  author = {Alice Raffaele and Matteo Zavatteri},
  year = {2023},
  month = {August},
  doi = {10.1016/j.ic.2023.105048},
  url = {https://doi.org/10.1016/j.ic.2023.105048},
  researchr = {https://researchr.org/publication/RaffaeleZ23},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {293},
  pages = {105048},
}