1 citations · 1 across the 8 of their papers we have counts for
1 paper · 2 filters
Christian Antić
The sequential composition of propositional logic programs has been recently introduced. This paper studies the sequential {\em decomposition} of programs by studying Green's relat…