9 citations · 36 across the 34 of their papers we have counts for
1 paper · 2 filters
Radu Iosif, Cristina Serban
In this paper we develop cyclic proof systems for the problem of inclusion between the least sets of models of mutually recursive predicates, when the ground constraints in the ind…