Coalgebraic semantics for derivations in logic programming (2011)

by E Komendantskaya, J Power
Venue:In CALCO’11, volume 6859 of LNCS