Coalgebraic logic programming: implicit versus explicit resource handling (2012)

by E Komendantskaya, J Power, M Schmidt
Venue:In Coinductive Logic Programming Workshop, ICLP’12