Coalgebraic Derivations in Logic Programming.

Ekaterina Komendantskaya, John Power

Browse the full CSL paper archive.