Coalgebraic semantics for parallel derivation strategies in logic programming (2010)

by E Komendantskaya, G McCusker, J Power
Venue:In AMAST’10, volume 6486 of LNCS