 |
 Reconstructing a single-head formula to facilitate logical forgettingJournal of Logic and Computation (JLC), 2020 |
 One head is better than two: a polynomial restriction for propositional
definite Horn forgettingJournal of Logic, Language and Information (JOLLI), 2020 |
 |
