Coalgebraic derivations in logic programming (2011)

by E KOMENDANTSKAYA, J POWER
Venue:In CSL’11. LIPIcs. Schloss Dagstuhl