6 citations · 6 across the 4 of their papers we have counts for
1 paper · 2 filters
Ekaterina Komendantskaya, John Power, Martin Schmidt
Coinductive definitions, such as that of an infinite stream, may often be described by elegant logic programs, but ones for which SLD-refutation is of no value as SLD-derivations f…